Alfred Tarski – författare
Visar alla böcker från författaren Alfred Tarski. Handla med fri frakt och snabb leverans.
14 produkter
Introduction to Logic and to the Methodology of Deductive Sciences
Inbunden, 1994
3602 kr
Lägg i varukorg
Now in it's fourth edition, this classic work on logic presents the student with a clear, concise introduction to the subject of logic and its apllications. The first part of the book introduces the concepts and principles which make up the elements of logic, demonstrating that the concepts of …
Introduction to Logic and to the Methodology of the Deductive Sciences
E-bok, 1994
1040 kr
Lägg i varukorg
Now in its fourth edition, this classic work clearly and concisely introduces the subject of logic and its applications. The first part of the book explains the basic concepts and principles which make up the elements of logic. The author demonstrates that these ideas are found in all branches of …
Introduction to Logic
Häftad, 2003
213 kr
Lägg i varukorg
This classic undergraduate treatment examines the deductive method in its first part and explores applications of logic and methodology in constructing mathematical theories in its second part. A thought-provoking introduction to the fundamentals and the perfect adjunct to courses in logic and the …
Undecidable Theories
Studies in Logic and the Foundation of Mathematics
Av Alfred Tarski, Raphael R Robinson
Häftad, 2010
213 kr
Lägg i varukorg
Decision Method for Elementary Algebra and Geometry
E-bok, 1951
336 kr
Lägg i varukorg
This revised edition of A Decision Method for Elementary Algebra and Geometry presents the culmination of research begun in 1930, which laid foundational results in algebraic and geometric completeness. Originally intended for publication in 1939 by Hermann & Cie, Paris, the onset of war delayed …
Theory of Models
Proceedings of the 1963 International Symposium at Berkeley
Av Alfred Tarski, Leon Henkin m. fl.
E-bok, 2014
1023 kr
Lägg i varukorg
Studies in Logic and the Foundations of Mathematics: The Theory of Models covers the proceedings of the International Symposium on the Theory of Models, held at the University of California, Berkeley on June 25 to July 11, 1963. The book focuses on works devoted to the foundations of mathematics, …
Collected Papers
Volume 1: 1921-1934
Inbunden, 2019
1962 kr
Lägg i varukorg
Alfred Tarski was one of the two giants of the twentieth-century development of logic, along with Kurt Goedel. The four volumes of this collection contain all of Tarski's papers and abstracts published during his lifetime, as well as a comprehensive bibliography. Here will be found many of the …
Collected Papers
Volume 4: 1958-1979
Inbunden, 2019
2396 kr
Lägg i varukorg
Alfred Tarski was one of the two giants of the twentieth-century development of logic, along with Kurt Goedel. The four volumes of this collection contain all of Tarski's published papers and abstracts, as well as a comprehensive bibliography. Here will be found many of the works, spanning the …
Collected Papers
Volume 3: 1945-1957
Inbunden, 2019
1853 kr
Lägg i varukorg
Alfred Tarski was one of the two giants of the twentieth-century development of logic, along with Kurt Goedel. The four volumes of this collection contain all of Tarski's published papers and abstracts, as well as a comprehensive bibliography. Here will be found many of the works, spanning the …
Collected Papers
Volume 2: 1935-1944
Inbunden, 2019
1853 kr
Lägg i varukorg
Alfred Tarski was one of the two giants of the twentieth-century development of logic, along with Kurt Goedel. The four volumes of this collection contain all of Tarski's published papers and abstracts, as well as a comprehensive bibliography. Here will be found many of the works, spanning the …
Einführung in die Mathematische Logik
Und in die Methodologie der Mathematik
Häftad, 1937
667 kr
Lägg i varukorg
Dieser Buchtitel ist Teil des Digitalisierungsprojekts Springer Book Archives mit Publikationen, die seit den Anfängen des Verlags von 1842 erschienen sind. Der Verlag stellt mit diesem Archiv Quellen für die historische wie auch die disziplingeschichtliche Forschung zur Verfügung, die jeweils im …
Einführung in die Mathematische Logik
Und in die Methodologie der Mathematik
E-bok, 2013
702 kr
Lägg i varukorg
Dieser Buchtitel ist Teil des Digitalisierungsprojekts Springer Book Archives mit Publikationen, die seit den Anfängen des Verlags von 1842 erschienen sind. Der Verlag stellt mit diesem Archiv Quellen für die historische wie auch die disziplingeschichtliche Forschung zur Verfügung, die jeweils im …
