{"type":"review","_id":"18896","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","language":[{"iso":"eng"}],"user_id":"14932","publication_date":"2014-12-24","year":"2014","date_updated":"2022-01-06T06:53:54Z","author":[{"id":"391","full_name":"Peckhaus, Volker","first_name":"Volker","last_name":"Peckhaus"}],"citation":{"ama":"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.","chicago":"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.","ieee":"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.","mla":"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.","apa":"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].","short":"V. Peckhaus, Mathematical Reviews [MR3186722] (2014).","bibtex":"@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} }"},"date_created":"2020-09-03T06:50:48Z","department":[{"_id":"520"}],"article_number":"MR3186722","publication":"Mathematical Reviews [MR3186722]","status":"public"}