scientific article

From MaRDI portal

Publication:3869338

Jump to:navigation, search

zbMath0432.03026MaRDI QIDQ3869338

Maurice Boffa

Publication date: 1977

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

extensionality type theory comprehension fragments of classical set theory

Mathematics Subject Classification ID

Axiomatics of classical set theory and its fragments (03E30)

Related Items

The strength of Mac Lane set theory

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