Tarski, Alfred
Overview
Works:  252 works in 1,064 publications in 12 languages and 14,387 library holdings 

Genres:  Conference papers and proceedings Bibliography 
Roles:  Author, Editor, Honoree, Other, Dedicatee, ed 
Classifications:  BC135, 510.1 
Publication Timeline
.
Most widely held works about
Alfred Tarski
 Alfred Tarski : life and logic by Anita Burdman Feferman( Book )
 The concept of logical consequence by John Etchemendy( Book )
 Das Wahrheirsproblem und die Idee der Semantik by Wolfgang Stegmller( Book )
 New essays on Tarski and philosophy( Book )
 Alfred Tarski : philosophy of language and logic by Douglas M Patterson( Book )
 Alfred Tarski and the Vienna circle : AustroPolish connections in logical empiricism by Jan Woleński( Book )
 From the act of judging to the sentence : the problem of truth bearers from Bolzano to Tarski by Artur Rojszczak( Book )
 Carnap, Tarski, and Quine at Harvard : conversations on logic, mathematics, and science by Greg FrostArnold( 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 Fernndez Moreno( Book )
 The elementary theory of groups : a guide through the proofs of the Tarski conjectures by Benjamin Fine( Book )
 Alfred Tarski : early work in Poland : geometry and teaching by Andrew McFarland( Book )
 Truth & assertibility by Nik Weaver( Book )
 Sémantique et vérité : de Tarski à Davidson by Franois Rivenc( 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 à Jaako Hintikka by Sbastien Richard( Book )
 El valor de la verdad : Hermenéutica, semántica, política( 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 Jrgen Alex( Book )
 Tarski on truth and logical consequence by John Etchemendy( Book )
more
fewer
Most widely held works by
Alfred Tarski
Introduction to logic and to the methodology of deductive sciences by
Alfred Tarski(
Book
)
220 editions published between 1930 and 2013 in 8 languages and held by 2,398 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
220 editions published between 1930 and 2013 in 8 languages and held by 2,398 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
)
47 editions published between 1956 and 1998 in 4 languages and held by 1,171 WorldCat member libraries worldwide
47 editions published between 1956 and 1998 in 4 languages and held by 1,171 WorldCat member libraries worldwide
Undecidable theories by
Alfred Tarski(
Book
)
51 editions published between 1953 and 2010 in English and Undetermined and held by 670 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
51 editions published between 1953 and 2010 in English and Undetermined and held by 670 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
)
27 editions published between 1956 and 1970 in 3 languages and held by 563 WorldCat member libraries worldwide
27 editions published between 1956 and 1970 in 3 languages and held by 563 WorldCat member libraries worldwide
A formalization of set theory without variables by
Alfred Tarski(
Book
)
17 editions published between 1987 and 1988 in English and Italian and held by 459 WorldCat member libraries worldwide
17 editions published between 1987 and 1988 in English and Italian and held by 459 WorldCat member libraries worldwide
Cylindric algebras by
Leon Henkin(
Book
)
23 editions published between 1971 and 1985 in English and Undetermined and held by 413 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
23 editions published between 1971 and 1985 in English and Undetermined and held by 413 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
Proceedings of the Tarski Symposium : an international symposium held to honor Alfred Tarski on the occasion of his seventieth
birthday by
Berkeley, Calif.) Tarski Symposium (1971(
Book
)
18 editions published between 1974 and 1987 in English and Undetermined and held by 391 WorldCat member libraries worldwide
18 editions published between 1974 and 1987 in English and Undetermined and held by 391 WorldCat member libraries worldwide
Cardinal algebras. With an appendix: Cardinal products of isomorphism types by
Alfred Tarski(
Book
)
21 editions published between 1944 and 1949 in 3 languages and held by 337 WorldCat member libraries worldwide
21 editions published between 1944 and 1949 in 3 languages and held by 337 WorldCat member libraries worldwide
Introduction à la logique by
Alfred Tarski(
Book
)
37 editions published between 1960 and 2008 in 3 languages and held by 326 WorldCat member libraries worldwide
37 editions published between 1960 and 2008 in 3 languages and held by 326 WorldCat member libraries worldwide
Direct decompositions of finite algebraic systems by
Bjarni Jnsson(
Book
)
16 editions published between 1947 and 1964 in English and Undetermined and held by 267 WorldCat member libraries worldwide
16 editions published between 1947 and 1964 in English and Undetermined and held by 267 WorldCat member libraries worldwide
A decision method for elementary algebra and geometry by
Alfred Tarski(
Book
)
24 editions published between 1948 and 1979 in English and held by 191 WorldCat member libraries worldwide
24 editions published between 1948 and 1979 in English and held by 191 WorldCat member libraries worldwide
Logique, semantique, metamathematique, 19231944 by
Alfred Tarski(
Book
)
17 editions published between 1956 and 1974 in 3 languages and held by 175 WorldCat member libraries worldwide
17 editions published between 1956 and 1974 in 3 languages and held by 175 WorldCat member libraries worldwide
Collected papers by
Alfred Tarski(
Book
)
13 editions published in 1986 in 3 languages and held by 153 WorldCat member libraries worldwide
13 editions published in 1986 in 3 languages and held by 153 WorldCat member libraries worldwide
Logic, methodology, and philosophy of science; proceedings by
Ernest Nagel(
Book
)
25 editions published between 1962 and 1969 in English and held by 146 WorldCat member libraries worldwide
25 editions published between 1962 and 1969 in English and held by 146 WorldCat member libraries worldwide
The theory of models; proceedings by
J. W Addison(
Book
)
32 editions published between 1965 and 1978 in 3 languages and held by 145 WorldCat member libraries worldwide
The Theory of Models
32 editions published between 1965 and 1978 in 3 languages and held by 145 WorldCat member libraries worldwide
The Theory of Models
Metamathematische Methoden in der Geometrie by
W Schwabhuser(
Book
)
9 editions published between 1983 and 2011 in German and held by 86 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
9 editions published between 1983 and 2011 in German and held by 86 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
)
8 editions published between 1951 and 1966 in English and held by 81 WorldCat member libraries worldwide
8 editions published between 1951 and 1966 in English and held by 81 WorldCat member libraries worldwide
Introducción a la lógica y a la metodología de las ciencias deductivas by
Alfred Tarski(
Book
)
22 editions published between 1941 and 1985 in Spanish and German and held by 61 WorldCat member libraries worldwide
22 editions published between 1941 and 1985 in Spanish and German and held by 61 WorldCat member libraries worldwide
Cylindric algebras by
Leon Henkin(
Book
)
17 editions published between 1971 and 1985 in English and held by 38 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
17 editions published between 1971 and 1985 in English and held by 38 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
The Axiomatic method with special reference to geometry and physics by
Leon Henkin(
Book
)
11 editions published between 1958 and 1959 in 3 languages and held by 19 WorldCat member libraries worldwide
11 editions published between 1958 and 1959 in 3 languages and held by 19 WorldCat member libraries worldwide
more
fewer
Audience Level
0 

1  
Kids  General  Special 
Related Identities
 Henkin, Leon Other Author Editor
 Tarski, Jan Other Editor
 HelmerHirschberg, Olaf Translator Editor
 Monk, J. Donald (James Donald) 1930 Author
 Patterson, Douglas Author
 Jónsson, Bjarni 1920 Author of introduction Other Author
 Feferman, Solomon
 Feferman, Anita Burdman Author
 Etchemendy, John 1952 Author
 Woleński, Jan
Useful Links
Associated Subjects
Algebra, Abstract Algebra, Universal Algebraic logic ArithmeticFoundations Bolzano, Bernard, Brentano, Franz, Carnap, Rudolf, Combinatorial analysis Computers Computer scienceMathematics Cylindric algebras Davidson, Donald, Formal languagesSemantics Frege, Gottlob, Geometry Geometry, Algebraic 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 Ontology Proof theory Quine, W. V.(Willard Van Orman) Recursive functions ScienceMethodology SciencePhilosophy Semantics Semantics (Philosophy) Set theory Tarski, Alfred Truth Twardowski, Kazimierz, United States Vienna circle Wittgenstein, Ludwig, Zuse, Konrad
Alternative Names
Alfred Tarski matematico, logico e filosofo polacco
Alfred Tarski mathmaticien et logicien amricain 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 Pools wiskundige
Alfrēds Tarskis
Tajtelbaum, Alfred.
Tajtelbaum, Alfred 19011983
Tarski, A.
Tarski, A. 19021983
Tarski, A. (Alfred)
Tarski, A. (Alfred), 19021983
Tarski, Alfred
Tarskij, A.
Tarsky, Alfred
Teitelbaum, A.
Teitelbaum, Alfred.
Teitelbaum, Alfred 19011983
Teitelbaum, Alfred 19021983
Алфред Тарски
Альфред Тарский
Альфред Тарський
Тарский, Альфред
Тарский, Альфред 19021983
Ալֆրեդ Տարսկի
אלפרד טרסקי
טארסקי, אלפרד
טרסקי, אלפרד 19011983
ألفرد تارسكي، 19011983
آلفرد تارسکی ریاضیدان لهستانی
ألفريد تارسكي
ആൽഫ്രഡ് ടാർസ്കി
알프레트 타르스키
アルフレト・タルスキ
阿尔弗雷德塔斯基
Languages
English
(528)
German (76)
French (50)
Spanish (24)
Chinese (6)
Polish (4)
Italian (3)
Multiple languages (3)
Dutch (3)
Hebrew (2)
Portuguese (1)
Ukrainian (1)
German (76)
French (50)
Spanish (24)
Chinese (6)
Polish (4)
Italian (3)
Multiple languages (3)
Dutch (3)
Hebrew (2)
Portuguese (1)
Ukrainian (1)
Covers