scientific article; zbMATH DE number 3099239
From MaRDI portal
Publication:5839919
zbMath0061.00803MaRDI QIDQ5839919
Publication date: 1946
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (6)
The creating subject, the Brouwer-Kripke schema, and infinite proofs ⋮ Pedagogical second-order \(\lambda \)-calculus ⋮ Negationless intuitionism ⋮ Intuitionism: an inspiration? ⋮ Algebras of complemented subsets ⋮ A formal system of negationless arithmetic that is conservative with respect to Heyting arithmetic
This page was built for publication:
