Publication:3996557
From MaRDI portal
zbMath0698.04003MaRDI QIDQ3996557
Publication date: 17 September 1992
03-01: Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations
03E30: Axiomatics of classical set theory and its fragments