scientific article; zbMATH DE number 1859182
From MaRDI portal
Publication:4789158
zbMATH Open1012.03016MaRDI QIDQ4789158
Publication date: 27 January 2003
Title of this publication is not available (Why is that?)
Recommendations
- Title not available (Why is that?) 👍 👎
- Title not available (Why is that?) 👍 👎
- Title not available (Why is that?) 👍 👎
- Title not available (Why is that?) 👍 👎
- The Kreisel length-of-proof problem 👍 👎
- An intuitionistic proof of Kruskal's theorem 👍 👎
- Frege's theorem 👍 👎
- The Logic of Provability 👍 👎
- Axiomatizing Kripke's theory of truth 👍 👎
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4789158)
