Úvod do logiky a metodologie deduktivních věd - Tarski, Alfred, 1902-1983 (Filosofická knihovna (Nakladatelství Československé akademie věd, Academia), 1966)