{"_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"}],"date_updated":"2024-06-16T13:13:33Z","publication":"Mathematical Reviews, MR3186722 ","citation":{"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.","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} }","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.","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.","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. In Mathematical Reviews, MR3186722 (No. MR3186722).","short":"V. Peckhaus, Mathematical Reviews, MR3186722 (2014).","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 . Published online 2014."},"type":"review","article_number":"MR3186722","main_file_link":[{"url":"https://mathscinet.ams.org/mathscinet/article?mr=3186722"}],"year":"2014","user_id":"391","department":[{"_id":"520"}],"publication_date":"2014-12-24","author":[{"full_name":"Peckhaus, Volker","last_name":"Peckhaus","id":"391","first_name":"Volker"}],"status":"public","date_created":"2020-09-03T06:50:48Z"}