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

geometrymodel theoryalgebraic logicset theorydeductive systemsgeneral algebra

Mathematics Subject Classification ID

Biographies, obituaries, personalia, bibliographies (01A70) Collected or selected works; reprintings or translations of classics (01A75) Proceedings, conferences, collections, etc. pertaining to mathematical logic and foundations (03-06)

Related Items

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

This page was built for publication: 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