Jiří Raclavský
Úvod do logiky: klasická predikátová logika
Úvod do logiky: klasická výroková logika