A hierarchy of axiom systemZF
From MaRDI portal
Publication:3803102
DOI10.1007/BF02560315zbMath0656.03031WikidataQ114693477 ScholiaQ114693477MaRDI QIDQ3803102
Publication date: 1988
Published in: Acta Mathematica Sinica (Search for Journal in Brave)
Cites Work
This page was built for publication: A hierarchy of axiom systemZF