Matematická logika - Bek, Roman, 1924-; Zlatník, Čeněk, 1937-2019; České vysoké učení technické v Praze. Stavební fakulta (Praha : ČVUT, 1981)
Nad názvem: České vysoké učení technické, Fakulta stavební.
Keywords: matematická logika; predikátová logika; teorie modelů; výroková logika; mathematical logic; model theory; predicate calculus; propositional calculus; vysokoškolská skripta; college textbooks