scientific article; zbMATH DE number 3512063
From MaRDI portal
Publication:4091903
zbMath0327.02021MaRDI QIDQ4091903
Publication date: 1976
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Intuitionistic mathematics (03F55) Intermediate logics (03B55)
Related Items (3)
The creating subject, the Brouwer-Kripke schema, and infinite proofs ⋮ Gödel and Intuitionism ⋮ Constructivism and Metamathematics
This page was built for publication:
