Publication:4011716

From MaRDI portal

Jump to:navigation, search

zbMath0784.03004MaRDI QIDQ4011716

Steven Givant

Publication date: 27 September 1992

zbMATH Keywords

Tarski; calculus of relations

Mathematics Subject Classification ID

01A60: History of mathematics in the 20th century

03-03: History of mathematical logic and foundations

Related Items

Algebraization of quantifier logics, an introductory overview

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:4011716&oldid=17714427"