Advances in proof theory. Proceedings of the symposium, on the occasion of the 60th birthday of Gerhard Jäger, Bern, Switzerland, December 13--14, 2013
DOI10.1007/978-3-319-29198-7zbMath1344.03002OpenAlexW2502661841MaRDI QIDQ261483
No author found.
Publication date: 23 March 2016
Published in: Progress in Computer Science and Applied Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-319-29198-7
Proceedings of conferences of miscellaneous specific interest (00B25) Festschriften (00B30) Mechanization of proofs and logical operations (03B35) Foundations of classical theories (including reverse mathematics) (03B30) Proceedings, conferences, collections, etc. pertaining to mathematical logic and foundations (03-06) Subsystems of classical logic (including intuitionistic logic) (03B20) Proof theory and constructive mathematics (03Fxx)
This page was built for publication: Advances in proof theory. Proceedings of the symposium, on the occasion of the 60th birthday of Gerhard Jäger, Bern, Switzerland, December 13--14, 2013
