Zdroje

https://elm-lang.org/docs

https://elmprogramming.com/

https://learnyouanelm.github.io/

Nyitraiová, A.: Educational tools for first order logic. Bakalárska práca. Bratislava: Univerzita Komenského, 2018.

Kľuka, J., Pukancová, J., Homola, M., Šiška, J. - Zbierka úloh z Logiky pre informatikov. Letný semester 2019/2020. Bratislava: Univerzita Komenského, 2020.

Kľuka, J., Šiška, J. - Prednášky z Matematiky (4) – Logiky pre informatikov. Letný semester 2019/2020. Poznámky z prednášok. Bratislava: Univerzita Komenského, 2020.

Švejdar. V. Logika: neúplnost, složitost a nutnost. Praha: Academia, 2002

Prezentáciu zdrojov si môžete stiahnuť TU