Barendregt, Henk, “Foundations of Mathematics from the Perspective of Computer Verification”, in: Mathematics, Computer Science and Logic–A Never Ending Story, Cham: Springer 2013, 1–49

V. Peckhaus, Mathematical Reviews [MR3186722] (2014).

Download
No fulltext has been uploaded.
Book Review | English
Publishing Year
Journal Title
Mathematical Reviews [MR3186722]
Article Number
MR3186722
LibreCat-ID

Cite this

Peckhaus V. Barendregt, Henk, “Foundations of Mathematics from the Perspective of Computer Verification”, in: Mathematics, Computer Science and Logic–A Never Ending Story, Cham: Springer 2013, 1–49. Mathematical Reviews [MR3186722]. 2014.
Peckhaus, V. (2014). Barendregt, Henk, “Foundations of Mathematics from the Perspective of Computer Verification”, in: Mathematics, Computer Science and Logic–A Never Ending Story, Cham: Springer 2013, 1–49. Mathematical Reviews [MR3186722].
@article{Peckhaus_2014, title={Barendregt, Henk, “Foundations of Mathematics from the Perspective of Computer Verification”, in: Mathematics, Computer Science and Logic–A Never Ending Story, Cham: Springer 2013, 1–49}, number={MR3186722}, journal={Mathematical Reviews [MR3186722]}, author={Peckhaus, Volker}, year={2014} }
Peckhaus, Volker. “Barendregt, Henk, ‘Foundations of Mathematics from the Perspective of Computer Verification’, in: Mathematics, Computer Science and Logic–A Never Ending Story, Cham: Springer 2013, 1–49.” Mathematical Reviews [MR3186722], 2014.
V. Peckhaus, “Barendregt, Henk, ‘Foundations of Mathematics from the Perspective of Computer Verification’, in: Mathematics, Computer Science and Logic–A Never Ending Story, Cham: Springer 2013, 1–49,” Mathematical Reviews [MR3186722]. 2014.
Peckhaus, Volker. “Barendregt, Henk, ‘Foundations of Mathematics from the Perspective of Computer Verification’, in: Mathematics, Computer Science and Logic–A Never Ending Story, Cham: Springer 2013, 1–49.” Mathematical Reviews [MR3186722], MR3186722, 2014.

Export

Marked Publications

Open Data LibreCat

Search this title in

Google Scholar