A comprehension principle and its deletion. A complete logical calculus

MaRDI QIDQ1333962zbMATH OpenFDO

Authors Shaokui Mo

Publication date 29 January 1995

Published in Science in China. Series A (Search for Journal in Brave)

Mathematics Subject Classification ID

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)