scientific article
From MaRDI portal
Publication:2702584
zbMath0966.03513MaRDI QIDQ2702584
Publication date: 24 July 2001
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (7)
Assertion and grounding: a theory of assertion for constructive type theory ⋮ From the knowability paradox to the existence of proofs ⋮ Incompleteness, Undecidability and Automated Proofs ⋮ Truth and Proof in Intuitionism ⋮ Manifestability and epistemic truth ⋮ A Note on Gödel, Priest and Naïve Proof ⋮ CATEGORICAL HARMONY AND PATH INDUCTION
This page was built for publication:
