olemus
(a) arvutusi uuriv matemaatilise loogika haru
= the use of logic to perform or reason about computation
https://en.wikipedia.org/wiki/Computational_logic
https://www.ncbi.nlm.nih.gov/pmc/articles/PMC5832843/
https://www.cs.utexas.edu/users/boyer/acl.pdf

(b) loogika rakendused informaatikas
= logic as a tool for computer science
https://en.wikibooks.org/wiki/Logic_for_Computer_Science
https://www.cs.waikato.ac.nz/~stever/LCS.pdf

vt ka
- kombinatoorloogika
- lambda-arvutus