Úvod do logiky a metodologie deduktivních věd - Tarski, Alfred, 1902-1983 (Academia, 1966)
Obsahuje bibliografii a rejstřík