Alfred Tarski
Identifiers
- Open LibraryOL5038861A
Top Subjects
- Symbolic and mathematical Logic (3)
- Algebra, Abstract (2)
- Mathematics -- Philosophy (2)
- Arithmetic -- Foundations (2)
- Mathematics (2)
- Philosophy (2)
- Set theory (2)
Books by Alfred Tarski
Total count: 26
-
Über den Begriff der logischen Folgerung1936-01-01
Einführung in die Mathematische LogikUnd in die Methodologie der MathematikSpringer1937-01-01-
Cardinal algebras.With an appendix: Cardinal products of isomorphism types by Bjarni Jónsson and Alfred Tarski.Oxford University Press1949-01-01
-
Introduction to logic and to the methodology of deductive sciences.[2d ed. rev.]Oxford University Press1949-01-01
-
Cardinal algebras : With an appendixCardinal products of isomorphism types,Oxford University Press1949-01-01
-
Undecidabel theoriesNorth-Holland Pub. Co.1953-01-01
-
INTRODUCTION TO LOGIC, AND TO THE METHODOLOGY OF DEDUCTIVE SCIENCESOxford University Press1954-01-01
-
Ordinal algebras.With appendices by Chen-Chung Chang and Bjarni Jónsson.North-Holland Pub. Co.1956-01-01
-
Introduction to Logic and to the Methodology of Deductive Sciences -- Second EditionOxford University Press1959-01-01
The axiomatic methodNorth-Holland1959-01-01-
Introduction à la logique.Traduit de l'anglais par Jacques Tremblay.Gauthier-Villars1960-01-01
-
Introduction To Logic and to the Methodolgy of Deductive SciencesOxford U.P.1965-01-01
-
邏輯槪論題解Key to Tarski's introduction to logic (3rd edition)Taiwan shang wu yin shu guan1966-01-01
-
Alfred Tarski. Collected Papers Volume 4 1958-1979Birkhauser1986-01-01
A formalization of set theory without variablesAmerican Mathematical Society1988-01-01-
A formalization of set theory without variablesAmerican Mathematical Society1988-01-01
Undecidable theoriesDover ed.Dover Publications2010-01-01-
Introduction to Logicand to the Methodology of Deductive SciencesDover Publications, Incorporated2013-01-01
-
Theory of ModelsProceedings of the 1963 International Symposium at BerkeleyElsevier Science & Technology Books2014-01-01
Collected Papers : Volume 41958-1979Birkhäuser2018-11-25
Collected Papers : Volume 11921-1934Birkhäuser2018-11-25
Collected Papers : Volume 31945-1957Birkhäuser2018-11-25
Collected Papers : Volume 21935-1944Birkhäuser2018-11-25
Collected PapersBirkhäuser2018-11-28-
Decision Method for Elementary Algebra and GeometryUniversity of California Press2023-01-01
-
Logic, semantics, and metamathematicspapers from 1923 to 1938