Úvod do logiky a metodologie deduktivních věd - Tarski, Alfred, 1902-1983; Materna, Pavel, 1930-2024 (Praha : Academia, 1966)
Obsahuje bibliografii a rejstřík
Keywords: matematická logika; metodologie; výroková logika; učebnice; mathematical logic; methodology; propositional calculus; textbooks