scientific article; zbMATH DE number 3497871
From MaRDI portal
Publication:4079588
zbMath0318.02032MaRDI QIDQ4079588
Publication date: 1970
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Intuitionistic mathematics (03F55) Intermediate logics (03B55) Proof theory and constructive mathematics (03F99)
Related Items (5)
Prawitz, Proofs, and Meaning ⋮ Explaining Deductive Inference ⋮ A Notion of C-Justification for Empirical Statements ⋮ Truth and Proof in Intuitionism ⋮ Denotational semantics for languages of epistemic grounding based on Prawitz's theory of grounds
This page was built for publication:
