olemus
matemaatika haru, mis uurib
matemaatika aluseid ja matemaatilisi tõestusi

alamdistsipliine
(i) metoodika järgi:
- tõestuste teooria
- mudelite teooria
(ii) keeletarindite järgi:
- lausearvutus
- predikaatloogika
----- esimest järku predikaatloogika
----- teist järku loogika
- modaalloogika
----- ajaloogika
----- deontiline loogika
- arvutusloogika
----- lambda-arvutus
----- kombinatoorloogika
(iii) tõeväärtuste järgi:
- kahevalentne loogika
- mitmevalentne loogika
- tõenäosusloogika
(iv) aksiomaatika järgi:
- distributiivloogika
- modulaarloogika e kvantloogika
- konstruktiiv- e intuitsionistlik loogika

ülevaateid
https://encyclopediaofmath.org/wiki/Mathematical_logic

https://en.wikipedia.org/wiki/Mathematical_logic

https://en.wikipedia.org/wiki/List_of_mathematical_logic_topics

https://en.wikipedia.org/wiki/Category:Mathematical_logic

https://web.stanford.edu/class/archive/cs/cs103/cs103.1132/lectures/09/Small09.pdf

https://faculty.math.illinois.edu/~vddries/main.pdf

https://www2.karlin.mff.cuni.cz/~krajicek/mendelson.pdf

vt ka
- loogika