Formaalne loogika

Kursus

1999 kevadel andsin kursuse “Matemaatilise loogika elemendid” praktikume. Semestri lõpus tegin

väikese (tegelikult päris pika) õppematerjali Turingi masinatest.

Teadus

Formaalse loogika alalt on ka mõned mu ilmunud teadusartiklid, mille loetelu leiab CV-st.

Ülemkataloogi indeksisse.