Collected Papers

Alfred Tarski was one of the two giants of the twentieth-century development of logic, along with Kurt Goedel. These areas include the theory of truth in formalized languages, decision methods and undecidable theories, foundations of geometry, set theory, and model theory, algebraic logic, and universal algebra.

Alfred Tarski a fost unul dintre cei doi giganti ai dezvoltarii logicii din secolul al XX-lea, alaturi de Kurt Goedel. Aceste zone includ teoria adevarului in limbaje formalizate, metode de decizie si teorii indecidabile, fundamentele geometriei, teoria multimilor si teoria modelelor, logica algebrica si algebra universala.