scientific article
From MaRDI portal
Publication:2784789
zbMath0990.03038MaRDI QIDQ2784789
Publication date: 25 July 2002
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
consistencyarithmeticlinear logiccut-eliminationextensionality axiomlinear set theoryset theory with unrestricted comprehensionstrict comprehension
Cut-elimination and normal-form theorems (03F05) Consistency and independence results (03E35) Axiomatics of classical set theory and its fragments (03E30) Proof-theoretic aspects of linear logic and other substructural logics (03F52)
Related Items (1)
This page was built for publication:
