Tarski, Alfred.
Identifiers
- Open LibraryOL141874A
Top Subjects
- Logic, Symbolic and mathematical (6)
- Mathematics -- Philosophy (4)
- Arithmetic -- Foundations (4)
- Semantics (Philosophy) (3)
- Mathematics -- Philosophy. (2)
- Arithmetic -- Foundations. (2)
- Metamathematics (2)
Books by Tarski, Alfred.
Total count: 21
-
Pojęcie prawdy w językach nauk dedukcyjnychNakł. ʼTow. Naukowego Warszawskiego1933-01-01
-
Einführung in die mathematische logik und in die methodologie der mathematikJ. Springer1937-01-01
-
Introduction to logic and to the methodology of deductive sciences.2d ed. rev.Oxford university press1946-01-01
-
A decision method for elementary algebra and geometryRand Corporation1948-01-01
-
Cardinal algebras.Oxford University Press1949-01-01
-
Undecidable theoriesNorth-Holland Pub. Co.1953-01-01
-
Logic, semantics, metamathematicspapers from 1923-1938Clarendon Press1956-01-01
-
Logic, semantics, metamathematicspapers from 1923 to 1938.1956-01-01
-
Ordinal algebrasNorth-Holland Pub. Co.1956-01-01
-
Introduction to logic and to the methodology of deductive sciences / by Alfred Tarski.[2d ed., rev.]Oxford University Press1959-01-01
-
Introduction to logic and to the methodology of deductive sciences3rd revised ed.Oxford University Press1965-01-01
-
The completeness of elementary algebra and geometry.Centre national de la recherche scientifique, Institut Blaise Pascal1967-01-01
-
Undecidable theoriesNorth-Holland Pub. Co.1968-01-01
-
Introduction à la logique.2e édition revue et augmentée. Traduit de l'anglais par [le P.] Jacques Tremblay. S.J. ...E. Nauwelaerts1969-01-01
-
Logique, sémantique, métamathématique, 1923-1944.A. Colin1972-01-01
Einführung in die mathematische Logik.Vandenhoeck & Ruprecht1977-01-01
Cylindric AlgebrasPart I (Studies in Logic and the Foundations of Mathematics)1st repr. 1985 editionNorth Holland1985-02-01-
Collected papersBirkhäuser1986-01-01
A formalization of set theory without variablesAmerican Mathematical Society1987-01-01-
Alfred Tarski, Collected Papers (Collected Works)Birkhauser1987-01-01
Introduction to logic and to the methodology of the deductive sciences4th ed. / edited by Jan Tarski.Oxford University Press1994-01-01