Alfred Tarski

1901 – 1983

• Introduction to logic and to the methodology of deductive sciences
• Undecidable theories
• Alfred Tarski
• Conferências na Unicamp em 1975
• Introduction à la logique
• Logic, semantics, metamathematics
• O logice matematycznej i metodzie dedukcyjnej
• Ordinal algebras