review 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 Volker Peckhaus author 391 520 department 2014 eng 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.” <i>Mathematical Reviews, MR3186722 </i>, MR3186722, 2014. V. Peckhaus, 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. In <i>Mathematical Reviews, MR3186722 </i> (No. MR3186722). 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. <i>Mathematical Reviews, MR3186722 </i>. Published online 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,” <i>Mathematical Reviews, MR3186722 </i>. 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.” <i>Mathematical Reviews, MR3186722 </i>, 2014. 188962020-09-03T06:50:48Z2024-06-16T13:13:33Z