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