A remark on a certain consequence of connexive logic for Zermelo's set theory
From MaRDI portal
Publication:1217697
DOI10.1007/BF02120489zbMath0307.02019MaRDI QIDQ1217697
Publication date: 1974
Published in: Studia Logica (Search for Journal in Brave)
Axiomatics of classical set theory and its fragments (03E30) Nonclassical and second-order set theories (03E70) General logic (03B99)
This page was built for publication: A remark on a certain consequence of connexive logic for Zermelo's set theory