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

vt ka
- kombinatoorloogika
- lambda-arvutus