výuka

Literatura

Základní

Petr Štěpánek: Predikátová logika

Karel Čuda: Základy logického kalkulu

Petr Kůrka: Úvod do matematické logiky a teorie množin

vše ke stažení

Vítězslav Švejdar: Matematická logika ke stažení

Rozšiřující

Vítězslav Švejdar: Logika: Složitost, neúplnost a nutnost, Academia Praha, 2002

Antonín Sochor: Klasická matematická logika, Karolinum Praha, 2001

Doplňující

Raymond Smullyan: Navěky nerozhodnuto, úvod do logiky a zábavný průvodce ke Gödelovým objevům. Academia Praha, 2003