scientific article; zbMATH DE number 3202577

zbMath0125.00510MaRDI QIDQ5329144

Arend Heyting

Publication date: 1965

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

mathematical logic

Related Items (12)

Unnamed Item ⋮ Is there an ontology of infinity? ⋮ Brouwer's fan theorem as an axiom and as a contrast to Kleene's alternative ⋮ Deep \textsf{ST} ⋮ Computability and Noncomputability in Classical Analysis ⋮ Projective sets, intuitionistically ⋮ Unnamed Item ⋮ Algebraic Methods for Orthopairs and Induced Rough Approximation Spaces ⋮ Unnamed Item ⋮ Distribution in the Logic of Meaning Containment and in Quantum Mechanics ⋮ A very weak Nullstellensatz over Heyting fields ⋮ The creating subject, the Brouwer-Kripke schema, and infinite proofs

This page was built for publication: