Alfred Tarski

(redirected from Alfred Teitelbaum)
Also found in: Wikipedia.

Tarski, Alfred

 

Born Jan. 14, 1902, in Warsaw. Polish logician and mathematician.

Tarski emigrated to the USA in 1939. He has done important work in set theory, the theory of Boolean algebras, logics with formulas of infinite length, and other branches of mathematical logic and the foundations of mathematics. He has made basic contributions to model theory, logical semantics, metalogic, and the methodology of deductive sciences.

WORKS

Undecidable Theories. New York, 1954. (With others.)
Logic, Semantics, Metamathematics. Oxford, 1956.
In Russian translation:
Vvedenie v logiku imetodologiiu deduktivnykh nauk. Moscow, 1948.
Mentioned in ?