WorldCat Identities

Tarski, Alfred

Overview
Works: 362 works in 1,451 publications in 13 languages and 18,778 library holdings
Genres: Conference papers and proceedings  Bibliographies  Sayings  Academic theses 
Roles: Author, Editor, Other, Honoree, Creator, htt, Dedicatee
Classifications: QA9, 510.1
Publication Timeline
.
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 )

217 editions published between 1941 and 2018 in 9 languages and held by 1,915 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
Introduction to logic and to the methodology of the deductive sciences by Alfred Tarski( )

18 editions published between 1993 and 2010 in English and held by 1,408 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 )

54 editions published between 1956 and 1997 in 3 languages and held by 1,207 WorldCat member libraries worldwide

Logic, methodology, and philosophy of science : proceedings of the 1960 international congress by Ernest Nagel( Book )

40 editions published between 1962 and 2009 in English and Miscellaneous languages and held by 966 WorldCat member libraries worldwide

Provability, Computability and Reflection
Undecidable theories by Alfred Tarski( Book )

57 editions published between 1953 and 2010 in English and Undetermined and held by 821 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."--Back cover
Ordinal algebras by Alfred Tarski( Book )

31 editions published between 1956 and 2000 in English and Undetermined and held by 670 WorldCat member libraries worldwide

Provability, Computability and Reflection
Cylindric algebras by Leon Henkin( Book )

28 editions published between 1971 and 1985 in English and Italian and held by 659 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
A formalization of set theory without variables by Alfred Tarski( Book )

22 editions published between 1987 and 2012 in English and Italian and held by 502 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 first-order 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 )

26 editions published between 1974 and 2012 in English and held by 457 WorldCat member libraries worldwide

Introduction to logic and to methodology of the deductive sciences by Alfred Tarski( )

5 editions published between 1946 and 1995 in English and held by 450 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
Direct decompositions of finite algebraic systems by Bjarni Jónsson( Book )

21 editions published between 1947 and 1964 in English and Undetermined and held by 319 WorldCat member libraries worldwide

Einführung in die mathematische Logik by Alfred Tarski( Book )

25 editions published between 1966 and 1977 in German and English and held by 300 WorldCat member libraries worldwide

Cardinal algebras. With an appendix: Cardinal products of isomorphism types by Alfred Tarski( Book )

7 editions published in 1949 in English and held by 267 WorldCat member libraries worldwide

A decision method for elementary algebra and geometry by Alfred Tarski( Book )

32 editions published between 1948 and 2020 in English and held by 218 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, 1923-1944 by Alfred Tarski( Book )

30 editions published between 1956 and 1974 in 3 languages and held by 206 WorldCat member libraries worldwide

'Recueil d'articles extraits de diverses revues ou publications, 1923-1944, complétés par l'auteur et traduits pour la plupart de l'allemand, de l'anglais ou du polonais sous la direction de Gilles Gaston Granger."-Bibl. de la Fr
Collected papers by Alfred Tarski( Book )

21 editions published between 1986 and 2019 in 6 languages and held by 197 WorldCat member libraries worldwide

Alfred Tarski was one of the two giants of the twentieth-century developments 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
The theory of models : proceedings of the 1963 International Symposium at Berkeley by J. W Addison( Book )

32 editions published between 1963 and 2015 in English and Dutch and held by 191 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."" 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, 2-valued model theory, semantics, sequents, axiomatization, formul
Einführung in die mathematische Logik und in die Methodologie der Mathematik by Alfred Tarski( Book )

18 editions published between 1936 and 1994 in 5 languages and held by 155 WorldCat member libraries worldwide

The axiomatic method by Leon Henkin( )

5 editions published between 1958 and 1959 in English and held by 144 WorldCat member libraries worldwide

 
moreShow More Titles
fewerShow Fewer Titles
Audience Level
0
Audience Level
1
  Kids General Special  
Audience level: 0.47 (from 0.03 for Introducti ... to 0.90 for Die halbe ...)

Logic, semantics, metamathematics : papers from 1923 to 1938
Covers
Introduction to logic and to the methodology of the deductive sciencesLogic, semantics, metamathematics : papers from 1923 to 1938Undecidable theoriesOrdinal algebrasCylindric algebrasIntroduction to logic and to methodology of the deductive sciencesAlfred Tarski : life and logic
Alternative Names
Alfred Tarski matemàtic americà d'origen polonès

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 Polish-American logician

Alfred Tarski poljsko-ameriš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 polsko-americký logik a matematik

Alfred Tarski Pools wiskundige

Alfred Tarski puolalainen loogikko ja matemaatikko

Alfrēds Tarskis

Ta'ersiji

Tajtelbaum, Alfred.

Tajtelbaum, Alfred 1901-1983

Tarski, A.

Tarski, A. (1901-1983)

Tarski, A. 1902-1983

Tarski, A. (Alfred)

Tarski, A. (Alfred), 1901-1983

Tarski, A. (Alfred), 1902-1983

Tarski, Alfred

Tarskij, A.

Tarsky, Alfred.

Teitelbaum, A.

Teitelbaum Alfred

Teitelbaum, Alfred 1901-1983

Teitelbaum, Alfred 1902-1983

Άλφρεντ Τάρσκι Πολωνοαμερικανός επιστήμονας της Λογικής

Алфред Тарски

Алфред Тарски полско-американски логичар

Алфред Тарски полско-американски математик

Альфред Тарский

Альфред Тарский польско-американский логик

Альфред Тарський

Тарскi А.

Тарский Альфред

Тарский, Альфред 1902-1983

Ալֆրեդ Տարսկի

אלפרד טרסקי

טארסקי, אלפרד

טרסקי, אלפרד 1901-1983

ألفرد تارسكي، 1901-1983

آلفرد تارسکی ریاضی‌دان لهستانی

الفريد تارسكى

ألفريد تارسكي

ആൽഫ്രഡ് ടാർസ്കി

ალფრედ ტარსკი

알프레트 타르스키

アルフレト・タルスキ

阿尔弗雷德·塔斯基

阿尔弗雷德·塔斯基 波蘭裔美國邏輯學家

Languages