Concepts of proof in mathematics, philosophy, and computer science. Based on the Humboldt-Kolleg, Bern, Switzerland, September 9--13, 2013

DOI10.1515/9781501502620zbMath1345.03009OpenAlexW2493932858MaRDI QIDQ263923

No author found.

Publication date: 5 April 2016

Published in: Ontos Mathematical Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1515/9781501502620

Mathematics Subject Classification ID

Proceedings of conferences of miscellaneous specific interest (00B25) Proceedings, conferences, collections, etc. pertaining to computer science (68-06) Proceedings, conferences, collections, etc. pertaining to mathematical logic and foundations (03-06) Proof theory and constructive mathematics (03Fxx)

Related Items (4)

Triposes, exact completions, and Hilbert's \(\varepsilon\)-operator ⋮ Théories géométriques pour l’algèbre des nombres réels ⋮ Multicomponent proof-theoretic method for proving interpolation properties ⋮ Cut elimination for entailment relations

This page was built for publication: Concepts of proof in mathematics, philosophy, and computer science. Based on the Humboldt-Kolleg, Bern, Switzerland, September 9--13, 2013