scientific article
From MaRDI portal
Publication:3035279
zbMath0693.03039MaRDI QIDQ3035279
Publication date: 1988
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (7)
Systems of explicit mathematics with non-constructive \(\mu\)-operator. II ⋮ The Operational Perspective: Three Routes ⋮ Universes in explicit mathematics ⋮ Explicit mathematics: power types and overloading ⋮ Extending the system T\(_0\) of explicit mathematics: The limit and Mahlo axioms ⋮ The Operational Penumbra: Some Ontological Aspects ⋮ Realization of constructive set theory into explicit mathematics: A lower bound for impredicative Mahlo universe
Uses Software
This page was built for publication:
