Alfred Tarski
Alfred Tarski (, born Alfred Teitelbaum; January 14, 1901 – October 26, 1983) was a Polish-American logician and mathematician. A prolific author best known for his work on model theory, metamathematics, and algebraic logic, he also contributed to abstract algebra, topology, geometry, measure theory, mathematical logic, set theory, and analytic philosophy.Educated in Poland at the University of Warsaw, and a member of the Lwów–Warsaw school of logic and the Warsaw school of mathematics, he immigrated to the United States in 1939 where he became a naturalized citizen in 1945. Tarski taught and carried out research in mathematics at the University of California, Berkeley, from 1942 until his death in 1983.
His biographers Anita Burdman Feferman and Solomon Feferman state that, "Along with his contemporary, Kurt Gödel, he changed the face of logic in the twentieth century, especially through his work on the concept of truth and the theory of models." Provided by Wikipedia
-
1
-
2
Logic, semantics, metamathematics : papers from 1923 to 1938
Indianapolis, Ind. : Hackett Pub. Co., 1983
2nd ed. /Format: Book
-
3
Einführung in die mathematische Logik.
Göttingen : Vandenhoeck & Ruprecht, 1966
2., neubearb. Aufl. /Format: Book
-
4
Introduction to logic and to the methodology of deductive sciences.
New York : Oxford University Press, 1946
[2d ed.,Format: Book
-
5
Introduction to logic and to the methodology of deductive sciences
New York : Oxford University Press, 1966
3d. ed. rev.].Format: Book
-
6
-
7
Cardinal algebras. : With an appendix : Cardinal products of isomorphism types
New York : Oxford Univ. Press, 1949Format: Book
-
8
Introduction to logic and to the methodology of deductive sciences.
New York : Oxford Univ. Press, 1963
[2d ed., rev.,Format: Book
-
9
A formalization of set theory without variables
Providence, R.I. : American Mathematical Society, 1987Format: Book
-
10
A decision method for elementary algebra and geometry
Berkeley : University of California Press, 1951
2d ed., rev.Format: Book
-
11
Logic, semantics, metamathematics : papers from 1923 to 1938
Oxford, Clarendon Press, 1956Format: Book
-
12
-
13
Distributive and modular laws in the arithmetic of relation algebras
Berkeley, Los Angeles : University of California Press, 1951Other Authors: “…Tarski, Alfred, 1901-1983…”
Format: Book
-
14
Direct decompositions of finite algebraic systems.
Notre Dame, Ind., 1947Other Authors: “…Tarski, Alfred, 1901-1983…”
Format: Book
-
15
Metamathematische Methoden in der Geometrie
Berlin ; New York : Springer-Verlag, 1983Other Authors:Format: Book
-
16
Proceedings
Providence : Published for the Association for Symbolic Logic by American Mathematical Society, 1974Other Authors: “…Tarski, Alfred, 1901-1983…”
Format: Conference Proceeding Book
-
17
The axiomatic method in biology.
Cambridge [England] : The University press, 1937Other Authors: “…Tarski, Alfred, 1901-1983…”
Format: Book
-
18
The axiomatic method with special reference to geometry and physics : proceedings of an international symposium held at the University of California, Berkeley, December 26, 1957-Ja...
Amsterdam, North-Holland Pub. Co., 1959Other Authors:Format: Book
-
19
Logic, methodology, and philosophy of science : proceedings of the 1960 international congress
Stanford, California : Stanford University Press, 1962Other Authors:Format: Conference Proceeding Book