Proof and Computation: Perspectives for Mathematics, Computer Science, and Philosophy

DOI10.1142/9789811236488_0001OpenAlexW3191739329MaRDI QIDQ5081866

Klaus Mainzer

Publication date: 17 June 2022

Published in: Proof and Computation II (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1142/9789811236488_0001

Mathematics Subject Classification ID

General logic (03Bxx) Mathematical logic and foundations (03-XX) Proof theory and constructive mathematics (03Fxx) Computability and recursion theory (03Dxx)

Related Items (2)

Introduction: Mathesis Universalis, Proof and Computation ⋮ Exploring Computational Contents of Intuitionist Proofs

This page was built for publication: Proof and Computation: Perspectives for Mathematics, Computer Science, and Philosophy

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5081866)