WorldCat Identities

Tarski, Alfred

Overview
Works: 249 works in 901 publications in 9 languages and 12,318 library holdings
Genres: Conference proceedings  Bibliography 
Roles: Editor, Honoree, Other, Dedicatee
Classifications: QA9, 510.1
Publication Timeline
Key
Publications about  Alfred Tarski Publications about Alfred Tarski
Publications by  Alfred Tarski Publications by Alfred Tarski
posthumous Publications by Alfred Tarski, published posthumously.
Most widely held works about Alfred Tarski
 
moreShow More Titles
fewerShow Fewer Titles
Most widely held works by Alfred Tarski
Introduction to logic and to the methodology of deductive sciences by Alfred Tarski ( Book )
125 editions published between 1941 and 2013 in 5 languages and held by 2,528 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
Logic, semantics, metamathematics; papers from 1923 to 1938 by Alfred Tarski ( Book )
31 editions published between 1956 and 1997 in English and held by 1,134 WorldCat member libraries worldwide
Undecidable theories by Alfred Tarski ( Book )
40 editions published between 1953 and 2010 in English and Undetermined and held by 710 WorldCat member libraries worldwide
"This graduate-level 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 )
19 editions published between 1956 and 2000 in English and Undetermined and held by 610 WorldCat member libraries worldwide
Provability, Computability and Reflection
A formalization of set theory without variables by Alfred Tarski ( Book )
15 editions published between 1987 and 1988 in English and held by 438 WorldCat member libraries worldwide
Cylindric algebras by Leon Henkin ( Book )
16 editions published between 1971 and 1985 in English and Undetermined and held by 400 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 vice-versa, 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 Tarski Symposium ( Book )
13 editions published between 1974 and 1987 in English and Undetermined and held by 381 WorldCat member libraries worldwide
Cardinal algebras. With an appendix: Cardinal products of isomorphism types by Alfred Tarski ( Book )
6 editions published in 1949 in English and held by 281 WorldCat member libraries worldwide
Introduction à la logique by Alfred Tarski ( Book )
32 editions published between 1960 and 2008 in 3 languages and held by 273 WorldCat member libraries worldwide
Direct decompositions of finite algebraic systems by Bjarni Jónsson ( Book )
12 editions published between 1947 and 1964 in English and held by 259 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 )
19 editions published between 1962 and 1969 in English and held by 207 WorldCat member libraries worldwide
Einführung in die mathematische Logik by Alfred Tarski ( Book )
20 editions published between 1966 and 1977 in German and English and held by 202 WorldCat member libraries worldwide
A decision method for elementary algebra and geometry by Alfred Tarski ( Book )
20 editions published between 1948 and 1979 in English and held by 194 WorldCat member libraries worldwide
Collected papers by Alfred Tarski ( Book )
13 editions published in 1986 in 3 languages and held by 149 WorldCat member libraries worldwide
Cylindric algebras by Leon Henkin ( )
14 editions published between 1971 and 1985 in English and held by 146 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 vice-versa, and relationships with other algebraic versions of logic
The theory of models; proceedings by J. W Addison ( Book )
24 editions published between 1965 and 1972 in English and Dutch and held by 120 WorldCat member libraries worldwide
Einführung in die mathematische logik und in die methodologie der mathematik by Alfred Tarski ( Book )
12 editions published in 1937 in German and English and held by 115 WorldCat member libraries worldwide
Logique, sémantique, métamathématique, 1923-1944 by Alfred Tarski ( Book )
12 editions published between 1956 and 1972 in 3 languages and held by 106 WorldCat member libraries worldwide
The axiomatic method ( )
5 editions published between 1958 and 1959 in English and Undetermined and held by 104 WorldCat member libraries worldwide
Metamathematische Methoden in der Geometrie by W Schwabhäuser ( Book )
8 editions published between 1983 and 2011 in German and held by 85 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
 
moreShow More Titles
fewerShow Fewer Titles
Audience Level
0
Audience Level
1
  Kids General Special  
Audience level: 0.68 (from 0.47 for Logic, met ... to 0.97 for La sentenz ...)
Alternative Names
Tajtelbaum, Alfred.
Tajtelbaum, Alfred 1901-1983
Tarski, A.
Tarski, A. (Alfred)
Tarski, A. (Alfred), 1902-1983
Tarski, Alfred
Tarskij, A.
Tarsky, Alfred
Teitelbaum, A.
Teitelbaum, Alfred.
Teitelbaum, Alfred 1901-1983
Teitelbaum, Alfred, 1902-1983
Тарский, Альфред, 1902-1983
Languages
English (388)
German (58)
French (42)
Spanish (3)
Multiple languages (2)
Dutch (2)
Portuguese (1)
Italian (1)
Polish (1)
Covers