Úvod do logiky a metodologie deduktivních věd - Tarski, Alfred (Academia, 1969)