logika matematická - odkazy
logika logika formálna logika modálna logika moderná logika predikátová logika výroková
teória relácií
útvary významové matematickej logiky