scientific article; zbMATH DE number 3066806
From MaRDI portal
Publication:5805960
zbMath0043.25002MaRDI QIDQ5805960
No author found.
Publication date: 1951
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (4)
An algebraic semantics approach to the effective resolution of type equations ⋮ Weyl and Intuitionistic Infinitesimals ⋮ The creating subject, the Brouwer-Kripke schema, and infinite proofs ⋮ A constructive intermediate value theorem
This page was built for publication:
