Collected papers. Volume 1: 1921--1934. Volume 2: 1935--1944. Volume 3: 1945--1957. Volume 4: 1958--1979. Ed. by Steven R. Givant and Ralph N. McKenzie

zbMath0606.01026MaRDI QIDQ1084387

Alfred Tarski

Publication date: 1986

Published in: Contemporary Mathematicians (Search for Journal in Brave)

zbMATH Keywords

geometry; model theory; algebraic logic; set theory; deductive systems; general algebra

Mathematics Subject Classification ID

01A70: Biographies, obituaries, personalia, bibliographies

01A75: Collected or selected works; reprintings or translations of classics

03-06: Proceedings, conferences, collections, etc. pertaining to mathematical logic and foundations

Related Items

Equationally distinct countable simple {\textsf{Q}}-relation algebras, Is the principle of contradiction a consequence of \(x^2=x\)?, Definability, decidability, complexity, Searches for the origins of the epistemological concept of model in mathematics, On Tarski's assumptions