Alfred Tarski

Prawda

Wprowadzenie do logiki i do metodologii nauk dedukcyjnych

Metalogika

Pojęcie prawdy w językach nauk dedukcyjnych

Logic, semantics, metamathematics

Introduction a la logique

Undecidable theories

O logice matematycznej i metodzie dedukcyjnej

Logique, sémantique, métamathématique

A decision method for elementary algebra and geometry

Introducción a la lógica y a la metodología de las ciencias deductivas

Einführung in die mathematische Logik

Collected papers

Introduction to logic and to the methodology of the deductive sciences

Inleiding tot de logica en tot de methodeleer der deductieve wetenschappen

Introduction to logic and to the methodology of deductive sciences

Einführung in die mathematische Logik und in die Methodologie der Mathematik

Der Wahrheitsbegriff in den formalisierten Sprachen

Ordinal algebras

Ein Beitrag zur Axiomatik der Abelschen Gruppen