scientific article; zbMATH DE number 3995669
From MaRDI portal
Publication:4723729
zbMath0615.03045MaRDI QIDQ4723729
Publication date: 1985
Full work available at URL: https://eudml.org/doc/181749
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Axiom of Choicevariable typesformal theoriesdirect formalization of mathematicsformalization of some parts of classical and modern analysis
Related Items
Smooth infinitesimals in the metaphysical foundation of spacetime theories, Systems of explicit mathematics with non-constructive \(\mu\)-operator. II, The machinery of consistency proofs, A first order logic of effects, Between constructive mathematics and PROLOG, Reflection principles for synthetic theories of smooth manifolds, A theory for program and data type specification, An interactive calculus theorem-prover for continuity properties, Systems of explicit mathematics with non-constructive \(\mu\)-operator and join, Systems of explicit mathematics with non-constructive \(\mu\)-operator. I
