Tarski, Alfred
Overview
Works:  248 works in 973 publications in 10 languages and 13,406 library holdings 

Genres:  Conference proceedings Bibliography 
Roles:  Author, Editor, Honoree, Dedicatee, ed, Other 
Classifications:  QA9, 510.1 
Publication Timeline
.
Most widely held works about
Alfred Tarski
 Alfred Tarski : life and logic by Anita Burdman Feferman Anita Burdman Feferman( Book )
 The concept of logical consequence by John Etchemendy John Etchemendy( Book )
 From the act of judging to the sentence the problem of truth bearers from Bolzano to Tarski by Artur Rojszczak Artur Rojszczak( )
 New essays on Tarski and philosophy ( )
 Das Wahrheirsproblem und die Idee der Semantik by Wolfgang Stegmüller Wolfgang Stegmüller( Book )
 Alfred Tarski : early work in Poland : geometry and teaching ( )
 Alfred Tarski philosophy of language and logic by Douglas M Patterson Douglas M Patterson( )
 Carnap, Tarski, and Quine at Harvard conversations on logic, mathematics, and science by Greg FrostArnold Greg FrostArnold( )
 Alfred Tarski and the Vienna circle : AustroPolish connections in logical empiricism by Jan Woleński Jan Woleński( Book )
 Künstliche und natürliche Sprache : Bemerkungen zur Semantik bei Tarski und Wittgenstein by Martin Scherb Martin Scherb( Book )
 Wahrheit und Korresponde[n]z bei Tarski : eine Untersuchung der Wahrheitstheorie Tarskis als Korrespondenztheorie der Wahrheit by Luis Fernández Moreno Luis Fernández Moreno( Book )
 The elementary theory of groups : a guide through the proofs of the Tarski conjectures by Benjamin Fine Benjamin Fine( Book )
 Sémantique et vérité : de Tarski à Davidson by François Rivenc François Rivenc( Book )
 Definitions : the primitive concept of logics or the LeśniewskiTarski legacy by Edgar G. K LopezEscobar Edgar G. K LopezEscobar( Book )
 La conception sémantique de la vérité : d'Alfred Tarski à Jaako Hintikka by Sébastien Richard Sébastien Richard( Book )
 El valor de la verdad : Hermenéutica, semántica, política ( Book )
 Die halbe Wahrheit : Tarskis Definition und Tarskis Theorem by Volker Beeh Volker Beeh( 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 : tertium non datur by Jürgen Alex Jürgen Alex( Book )
 Tarski on truth and logical consequence by John Etchemendy John Etchemendy( Book )
 Gramatyka i prawda by Adam Nowaczyk Adam Nowaczyk( Book )
more
fewer
Most widely held works by
Alfred Tarski
Introduction to logic and to the methodology of the deductive sciences
by
Alfred Tarski(
Book
)
150 editions published between 1941 and 2013 in 6 languages and held by 2,909 WorldCat member libraries worldwide
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. Exercises appear throughout
150 editions published between 1941 and 2013 in 6 languages and held by 2,909 WorldCat member libraries worldwide
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. Exercises appear throughout
Logic, semantics, metamathematics; papers from 1923 to 1938
by
Alfred Tarski(
Book
)
39 editions published between 1956 and 1997 in 3 languages and held by 1,149 WorldCat member libraries worldwide
39 editions published between 1956 and 1997 in 3 languages and held by 1,149 WorldCat member libraries worldwide
Undecidable theories
by
Alfred Tarski(
Book
)
47 editions published between 1953 and 2010 in English and Undetermined and held by 769 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." from back cover
47 editions published between 1953 and 2010 in English and Undetermined and held by 769 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." from back cover
Ordinal algebras
by
Alfred Tarski(
Book
)
25 editions published between 1956 and 2000 in 3 languages and held by 659 WorldCat member libraries worldwide
Provability, Computability and Reflection
25 editions published between 1956 and 2000 in 3 languages and held by 659 WorldCat member libraries worldwide
Provability, Computability and Reflection
Cylindric algebras
by
Leon Henkin(
Book
)
33 editions published between 1971 and 1985 in English and Undetermined and held by 596 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
33 editions published between 1971 and 1985 in English and Undetermined and held by 596 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
)
17 editions published between 1987 and 1988 in English and Italian and held by 444 WorldCat member libraries worldwide
17 editions published between 1987 and 1988 in English and Italian and held by 444 WorldCat member libraries worldwide
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
)
17 editions published between 1974 and 1987 in English and Undetermined and held by 396 WorldCat member libraries worldwide
17 editions published between 1974 and 1987 in English and Undetermined and held by 396 WorldCat member libraries worldwide
Cardinal algebras. With an appendix: Cardinal products of isomorphism types
by
Alfred Tarski(
Book
)
17 editions published in 1949 in English and Italian and held by 336 WorldCat member libraries worldwide
17 editions published in 1949 in English and Italian and held by 336 WorldCat member libraries worldwide
Introduction à la logique
by
Alfred Tarski(
Book
)
34 editions published between 1960 and 2008 in 3 languages and held by 319 WorldCat member libraries worldwide
34 editions published between 1960 and 2008 in 3 languages and held by 319 WorldCat member libraries worldwide
Direct decompositions of finite algebraic systems
by
Bjarni Jónsson(
Book
)
14 editions published between 1947 and 1964 in English and Undetermined and held by 264 WorldCat member libraries worldwide
14 editions published between 1947 and 1964 in English and Undetermined and held by 264 WorldCat member libraries worldwide
Logic, methodology and philosophy of science proceedings of the 1960 international congress
by Methodology and Philosophy of Science International Congress for Logic(
Book
)
22 editions published between 1962 and 1969 in English and held by 232 WorldCat member libraries worldwide
22 editions published between 1962 and 1969 in English and held by 232 WorldCat member libraries worldwide
Einführung in die mathematische Logik
by
Alfred Tarski(
Book
)
26 editions published between 1966 and 1977 in German and English and held by 210 WorldCat member libraries worldwide
26 editions published between 1966 and 1977 in German and English and held by 210 WorldCat member libraries worldwide
A decision method for elementary algebra and geometry
by
Alfred Tarski(
Book
)
22 editions published between 1948 and 1979 in English and held by 191 WorldCat member libraries worldwide
22 editions published between 1948 and 1979 in English and held by 191 WorldCat member libraries worldwide
Collected papers
by
Alfred Tarski(
Book
)
12 editions published in 1986 in 3 languages and held by 147 WorldCat member libraries worldwide
12 editions published in 1986 in 3 languages and held by 147 WorldCat member libraries worldwide
Logique, semantique, metamathematique, 19231944
by
Alfred Tarski(
Book
)
16 editions published between 1956 and 1972 in 3 languages and held by 140 WorldCat member libraries worldwide
16 editions published between 1956 and 1972 in 3 languages and held by 140 WorldCat member libraries worldwide
The theory of models; proceedings
by
J. W Addison(
Book
)
30 editions published between 1965 and 1978 in 3 languages and held by 134 WorldCat member libraries worldwide
The Theory of Models
30 editions published between 1965 and 1978 in 3 languages and held by 134 WorldCat member libraries worldwide
The Theory of Models
Einführung in die mathematische logik und in die methodologie der mathematik
by
Alfred Tarski(
Book
)
13 editions published in 1937 in German and English and held by 119 WorldCat member libraries worldwide
13 editions published in 1937 in German and English and held by 119 WorldCat member libraries worldwide
The axiomatic method
(
)
4 editions published between 1958 and 1959 in English and Undetermined and held by 102 WorldCat member libraries worldwide
4 editions published between 1958 and 1959 in English and Undetermined and held by 102 WorldCat member libraries worldwide
Metamathematische Methoden in der Geometrie
by
W Schwabhäuser(
Book
)
9 editions published between 1983 and 2011 in German and held by 81 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 81 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
)
7 editions published between 1951 and 1966 in English and held by 78 WorldCat member libraries worldwide
7 editions published between 1951 and 1966 in English and held by 78 WorldCat member libraries worldwide
more
fewer
Audience Level
0 

1  
Kids  General  Special 
Related Identities
 Henkin, Leon Other Author Editor
 Tarski, Jan Editor
 HelmerHirschberg, Olaf Translator Creator
 Monk, J. Donald (James Donald) 1930 Author
 Givant, Steven R. Editor
 Feferman, Anita Burdman Author
 Feferman, Solomon
 Jónsson, Bjarni 1920 Author of introduction Author
 Patterson, Douglas Author
 Etchemendy, John 1952 Author
Useful Links
Associated Subjects
Algebra, Abstract Algebra, Universal Algebraic logic Arithmetic ArithmeticFoundations Axioms Carnap, Rudolf, Combinatorial analysis Computers Computer scienceMathematics Cylindric algebras Decidability (Mathematical logic) Formal languagesSemantics Foundations Genetic epistemology Geometry Geometry, Algebraic Gödel's theorem Grammar, Comparative and general Heidegger, Martin, Influence (Literary, artistic, etc.) Knowledge, Theory of Language and languagesPhilosophy Language and logic LinguisticsPhilosophy Logic Logic, Symbolic and mathematical Logical positivism Logicians LvovWarsaw school of philosophy Mathematical models Mathematics MathematicsPhilosophy MathematicsStudy and teaching Metamathematics Methodology Ontology Philosophy Proof theory Recursive functions Science ScienceMethodology SciencePhilosophy Semantics Semantics (Philosophy) Set theory Tarski, Alfred Truth United States Vienna circle
Alternative Names
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
Languages
English
(464)
German (69)
French (47)
Czech (5)
Italian (3)
Spanish (3)
Multiple languages (2)
Dutch (2)
Portuguese (1)
Polish (1)
German (69)
French (47)
Czech (5)
Italian (3)
Spanish (3)
Multiple languages (2)
Dutch (2)
Portuguese (1)
Polish (1)
Covers