A comprehension principle and its deletion. A complete logical calculus
From MaRDI portal
Publication:1333962
zbMATH Open0825.03032MaRDI QIDQ1333962
Publication date: 29 January 1995
Published in: Science in China. Series A (Search for Journal in Brave)
Foundations of classical theories (including reverse mathematics) (03B30) Axiomatics of classical set theory and its fragments (03E30)
This page was built for publication: A comprehension principle and its deletion. A complete logical calculus
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1333962)
