Tarski, Alfred
Overview
Works:  249 works in 1,249 publications in 12 languages and 16,421 library holdings 

Genres:  Conference papers and proceedings Bibliography Sayings 
Roles:  Author, Editor, Honoree, Other, Dedicatee 
Classifications:  BC135, 510.1 
Publication Timeline
.
Most widely held works about
Alfred Tarski
 New essays on Tarski and philosophy by Douglas Patterson( )
 Alfred Tarski : life and logic by Anita Burdman Feferman( Book )
 The concept of logical consequence by John Etchemendy( Book )
 The elementary theory of groups : a guide through the proofs of the Tarski conjectures by Benjamin Fine( )
 From the act of judging to the sentence : the problem of truth bearers from Bolzano to Tarski by Artur Rojszczak( )
 Alfred Tarski : early work in Poland : geometry and teaching by Andrew McFarland( )
 Das Wahrheitsproblem und die Idee der Semantik by Wolfgang Stegmüller( Book )
 Truth & assertibility by Nik Weaver( )
 Alfred Tarski : philosophy of language and logic by Douglas Patterson( Book )
 Carnap, Tarski, and Quine at Harvard : conversations on logic, mathematics, and science by Greg FrostArnold( Book )
 Alfred Tarski and the "Concept of truth in formalized languages" : a running commentary with consideration of the Polish original and the German translation by Monika Gruber( )
 Alfred Tarski and the Vienna circle : AustroPolish connections in logical empiricism by Jan Woleński( Book )
 Künstliche und natürliche Sprache : Bemerkungen zur Semantik bei Tarski und Wittgenstein by Martin Scherb( Book )
 Wahrheit und Korresponde[n]z bei Tarski : eine Untersuchung der Wahrheitstheorie Tarskis als Korrespondenztheorie der Wahrheit by Luis Fernández Moreno( Book )
 Sémantique et vérité : de Tarski à Davidson by François Rivenc( Book )
 El valor de la verdad : Hermenéutica, semántica, política( Book )
 Definitions : the primitive concept of logics or the LeśniewskiTarski legacy by Edgar G. K LopezEscobar( Book )
 Die halbe Wahrheit : Tarskis Definition und Tarskis Theorem by Volker Beeh( Book )
 La conception sémantique de la vérité : d'Alfred Tarski à Jaakko Hintikka by Sébastien Richard( Book )
 Zur Entstehung des Computers : von Alfred Tarski zu Konrad Zuse ; zum Einfluss elementarer Sätze der mathematischen Logik bei Alfred Tarski auf die Entstehung der drei Computerkonzepte des Konrad Zuse by Jürgen Alex( Book )
more
fewer
Most widely held works by
Alfred Tarski
Introduction to logic and to the methodology of the deductive sciences by
Alfred Tarski(
)
83 editions published between 1930 and 2011 in 5 languages and held by 2,102 WorldCat member libraries worldwide
The fourth edition of a classic book on logic has been thoroughly revised by the author's son. It is a fundamental guide to modern mathematical logic and to the construction of mathematical theories. The first half covers the elements of logic, and the second half covers the applications of logic in theory building
83 editions published between 1930 and 2011 in 5 languages and held by 2,102 WorldCat member libraries worldwide
The fourth edition of a classic book on logic has been thoroughly revised by the author's son. It is a fundamental guide to modern mathematical logic and to the construction of mathematical theories. The first half covers the elements of logic, and the second half covers the applications of logic in theory building
Introduction to logic and to the methodology of deductive sciences by
Alfred Tarski(
Book
)
212 editions published between 1941 and 2018 in 9 languages and held by 1,962 WorldCat member libraries worldwide
First published in Polish in 1936, this classic work was originally written as a popular scientific book  one that would present to the educated layman a clear picture of certain powerful trends of thought in modern logic
212 editions published between 1941 and 2018 in 9 languages and held by 1,962 WorldCat member libraries worldwide
First published in Polish in 1936, this classic work was originally written as a popular scientific book  one that would present to the educated layman a clear picture of certain powerful trends of thought in modern logic
Logic, semantics, metamathematics; papers from 1923 to 1938 by
Alfred Tarski(
Book
)
50 editions published between 1956 and 1997 in 3 languages and held by 1,177 WorldCat member libraries worldwide
50 editions published between 1956 and 1997 in 3 languages and held by 1,177 WorldCat member libraries worldwide
Logic, methodology, and philosophy of science : proceedings of the 1960 international congress by
Ernest Nagel(
Book
)
36 editions published between 1962 and 2009 in English and held by 891 WorldCat member libraries worldwide
Provability, Computability and Reflection
36 editions published between 1962 and 2009 in English and held by 891 WorldCat member libraries worldwide
Provability, Computability and Reflection
Undecidable theories by
Alfred Tarski(
Book
)
59 editions published between 1953 and 2010 in English and Undetermined and held by 802 WorldCat member libraries worldwide
"This graduatelevel book is well known for its proof that many mathematical systems  including lattice theory, abstract projective geometry, and closure algebras  are undecidable. Based on research conducted from 1938 to 1952, it consists of three treatises by a prolific author who ranks among the greatest logicians of all time. The first article, "A general method in proofs of undecidability," examines theories with standard formalization, undecidable theories, interpretability, and relativization of quantifiers. The second feature, "Undecidability and essential undecidability in mathematics," explores definability in arbitrary theories and the formalized arithmetic of natural numbers. It also considers recursiveness, definability, and undecidability in subtheories of arithmetic as well as the extension of results to other arithmetical theories. The compilation concludes with "Undecidability of the elementary theory of groups."Back cover
59 editions published between 1953 and 2010 in English and Undetermined and held by 802 WorldCat member libraries worldwide
"This graduatelevel book is well known for its proof that many mathematical systems  including lattice theory, abstract projective geometry, and closure algebras  are undecidable. Based on research conducted from 1938 to 1952, it consists of three treatises by a prolific author who ranks among the greatest logicians of all time. The first article, "A general method in proofs of undecidability," examines theories with standard formalization, undecidable theories, interpretability, and relativization of quantifiers. The second feature, "Undecidability and essential undecidability in mathematics," explores definability in arbitrary theories and the formalized arithmetic of natural numbers. It also considers recursiveness, definability, and undecidability in subtheories of arithmetic as well as the extension of results to other arithmetical theories. The compilation concludes with "Undecidability of the elementary theory of groups."Back cover
Ordinal algebras by
Alfred Tarski(
Book
)
30 editions published between 1956 and 1970 in 3 languages and held by 680 WorldCat member libraries worldwide
30 editions published between 1956 and 1970 in 3 languages and held by 680 WorldCat member libraries worldwide
Cylindric algebras by
Leon Henkin(
Book
)
29 editions published between 1971 and 1985 in 3 languages and held by 568 WorldCat member libraries worldwide
Volume II completes the description of the main aspects of the theory, covering representation questions, model theory and decision problems for them, translations from logic to algebra and viceversa, and relationships with other algebraic versions of logic
29 editions published between 1971 and 1985 in 3 languages and held by 568 WorldCat member libraries worldwide
Volume II completes the description of the main aspects of the theory, covering representation questions, model theory and decision problems for them, translations from logic to algebra and viceversa, and relationships with other algebraic versions of logic
A formalization of set theory without variables by
Alfred Tarski(
Book
)
19 editions published between 1987 and 2012 in English and Italian and held by 475 WorldCat member libraries worldwide
Completed in 1983, this work culminates nearly half a century of the late Alfred Tarski's foundational studies in logic, mathematics, and the philosophy of science. Written in collaboration with Steven Givant, the book appeals to a very broad audience, and requires only a familiarity with firstorder logic. It is of great interest to logicians and mathematicians interested in the foundations of mathematics, but also to philosophers interested in logic, semantics, algebraic logic, or the methodology of the deductive sciences, and to computer scientists interested in developing very simple computer languages rich enough for mathematical and scientific applications
19 editions published between 1987 and 2012 in English and Italian and held by 475 WorldCat member libraries worldwide
Completed in 1983, this work culminates nearly half a century of the late Alfred Tarski's foundational studies in logic, mathematics, and the philosophy of science. Written in collaboration with Steven Givant, the book appeals to a very broad audience, and requires only a familiarity with firstorder logic. It is of great interest to logicians and mathematicians interested in the foundations of mathematics, but also to philosophers interested in logic, semantics, algebraic logic, or the methodology of the deductive sciences, and to computer scientists interested in developing very simple computer languages rich enough for mathematical and scientific applications
Proceedings of the Tarski Symposium by
Berkeley, Calif.) Tarski Symposium (1971(
Book
)
27 editions published between 1965 and 2012 in English and held by 428 WorldCat member libraries worldwide
27 editions published between 1965 and 2012 in English and held by 428 WorldCat member libraries worldwide
Introduction à la logique by
Alfred Tarski(
Book
)
39 editions published between 1960 and 2008 in 4 languages and held by 342 WorldCat member libraries worldwide
39 editions published between 1960 and 2008 in 4 languages and held by 342 WorldCat member libraries worldwide
Cardinal algebras. With an appendix: Cardinal products of isomorphism types by
Alfred Tarski(
Book
)
19 editions published between 1944 and 1949 in English and Italian and held by 334 WorldCat member libraries worldwide
19 editions published between 1944 and 1949 in English and Italian and held by 334 WorldCat member libraries worldwide
Direct decompositions of finite algebraic systems by
Bjarni Jónsson(
Book
)
19 editions published between 1947 and 1964 in English and Undetermined and held by 275 WorldCat member libraries worldwide
19 editions published between 1947 and 1964 in English and Undetermined and held by 275 WorldCat member libraries worldwide
The theory of models; proceedings by
J. W Addison(
Book
)
46 editions published between 1965 and 2015 in English and Dutch and held by 212 WorldCat member libraries worldwide
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, generally known as ""the theory of models.""<br><br>The selection first discusses the method of alternating chains, semantic construction of Lewis's systems S4 and S5, and continuous model theory. Concerns include ordered model theory, 2valued model theory, semantics, sequents, axiomatization, formul
46 editions published between 1965 and 2015 in English and Dutch and held by 212 WorldCat member libraries worldwide
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, generally known as ""the theory of models.""<br><br>The selection first discusses the method of alternating chains, semantic construction of Lewis's systems S4 and S5, and continuous model theory. Concerns include ordered model theory, 2valued model theory, semantics, sequents, axiomatization, formul
A decision method for elementary algebra and geometry by
Alfred Tarski(
Book
)
28 editions published between 1948 and 1979 in English and held by 198 WorldCat member libraries worldwide
A decision method by which the truth of sentences of the elementary algebra and geometry of real numbers is determined
28 editions published between 1948 and 1979 in English and held by 198 WorldCat member libraries worldwide
A decision method by which the truth of sentences of the elementary algebra and geometry of real numbers is determined
Logique, semantique, metamathematique, 19231944 by
Alfred Tarski(
Book
)
27 editions published between 1956 and 1972 in 3 languages and held by 161 WorldCat member libraries worldwide
27 editions published between 1956 and 1972 in 3 languages and held by 161 WorldCat member libraries worldwide
Collected papers by
Alfred Tarski(
Book
)
12 editions published in 1986 in 3 languages and held by 154 WorldCat member libraries worldwide
12 editions published in 1986 in 3 languages and held by 154 WorldCat member libraries worldwide
The axiomatic Method by
Leon Henkin(
)
5 editions published between 1958 and 1959 in English and held by 122 WorldCat member libraries worldwide
5 editions published between 1958 and 1959 in English and held by 122 WorldCat member libraries worldwide
Metamathematische Methoden in der Geometrie by
W Schwabhäuser(
Book
)
15 editions published between 1983 and 2011 in German and held by 110 WorldCat member libraries worldwide
Enthält: Teil 1: Ein axiomatischer Aufbau der euklidischen Geometrie / von Wolfram Schwabhäuser, Wanda Szmielew und Alfred Tarski.  Teil 2: Metamathematische Betrachtungen / von Wolfram Schwabhäuser
15 editions published between 1983 and 2011 in German and held by 110 WorldCat member libraries worldwide
Enthält: Teil 1: Ein axiomatischer Aufbau der euklidischen Geometrie / von Wolfram Schwabhäuser, Wanda Szmielew und Alfred Tarski.  Teil 2: Metamathematische Betrachtungen / von Wolfram Schwabhäuser
Distributive and modular laws in the arithmetic of relation algebras by
Louise H Chin(
Book
)
9 editions published between 1951 and 1966 in English and held by 81 WorldCat member libraries worldwide
9 editions published between 1951 and 1966 in English and held by 81 WorldCat member libraries worldwide
The axiomatic method with special reference to geometry and physics. Proceedings of an international symposium held at the
University of California, Berkeley, December 26, 1957January 4, 1958 by
Leon Henkin(
Book
)
22 editions published in 1959 in English and Dutch and held by 76 WorldCat member libraries worldwide
22 editions published in 1959 in English and Dutch and held by 76 WorldCat member libraries worldwide
more
fewer
Audience Level
0 

1  
Kids  General  Special 
Related Identities
 Tarski, Jan Other Author Editor
 Henkin, Leon Other Author Editor
 Suppes, Patrick 19222014 Other Editor
 International Union of the History and Philosophy of Science Division of Logic, Methodology and Philosophy of Science
 Nagel, Ernest 19011985 Author Editor
 Patterson, Douglas (Douglas Eden) Author
 Mostowski, Andrzej Other Author
 HelmerHirschberg, Olaf Translator Editor Creator
 Robinson, Raphael M. (Raphael Mitchel) 1911 Other
 Givant, Steven R. Other Editor
Useful Links
Associated Subjects
Algebra, Abstract Algebra, Universal Algebraic logic ArithmeticFoundations Axioms Bolzano, Bernard, Brentano, Franz, Carnap, Rudolf, Combinatorial analysis Cylindric algebras Davidson, Donald, Formal languagesSemantics Frege, Gottlob, Geometry Geometry, Algebraic GeometryFoundations Gödel's theorem Heidegger, Martin, Hintikka, Jaakko, Influence (Literary, artistic, etc.) Knowledge, Theory of Language and languagesPhilosophy Language and logic Leśniewski, Stanisław, Logic Logic, Symbolic and mathematical Logical positivism Logicians Mathematical models Mathematics MathematicsPhilosophy MathematicsStudy and teaching Metamathematics Methodology Model theory Ontology Physics Proof theory Quine, W. V.(Willard Van Orman) Recursive functions SciencePhilosophy Semantics Semantics (Philosophy) Set theory Tarski, Alfred, Truth Twardowski, Kazimierz, United States Vienna circle Wittgenstein, Ludwig,
Covers
Alternative Names
Alfred Tarski matematico, logico e filosofo polacco
Alfred Tarski matemático y lógico estadounidense de origen polaco
Alfred Tarski mathématicien et logicien américain d'origine polonaise
Alfred Tarski PolishAmerican logician
Alfred Tarski poljskoameriški filozof, logik in matematik.
Alfred Tarski polnischer Mathematiker und Logiker
Alfred Tarski polsk matematikar
Alfred Tarski polsk matematiker
Alfred Tarski polski matematyk
Alfred Tarski polskoamerický logik a matematik
Alfred Tarski Pools wiskundige
Alfrēds Tarskis
Ta'ersiji
Tajtelbaum, Alfred.
Tajtelbaum, Alfred 19011983
Tarski, A.
Tarski, A. (19011983)
Tarski, A. 19021983
Tarski, A. (Alfred)
Tarski, A. (Alfred), 19011983
Tarski, A. (Alfred), 19021983
Tarski, Alfred
Tarskij, A.
Tarsky, Alfred
Teitelbaum, A.
Teitelbaum, Alfred.
Teitelbaum, Alfred 19011983
Teitelbaum, Alfred 19021983
Άλφρεντ Τάρσκι Πολωνοαμερικανός επιστήμονας της Λογικής
Алфред Тарски
Алфред Тарски полскоамерикански логичар
Альфред Тарский
Альфред Тарський
Тарский Альфред
Тарский, Альфред 19021983
Ալֆրեդ Տարսկի
אלפרד טרסקי
טארסקי, אלפרד
טרסקי, אלפרד 19011983
ألفرد تارسكي، 19011983
آلفرد تارسکی ریاضیدان لهستانی
ألفريد تارسكي
ആൽഫ്രഡ് ടാർസ്കി
ალფრედ ტარსკი
알프레트 타르스키
アルフレト・タルスキ
阿尔弗雷德·塔斯基
阿尔弗雷德·塔斯基 波蘭裔美國邏輯學家
Languages