{"department":[{"_id":"520"}],"_id":"18896","year":"2014","publication_date":"2014-12-24","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. <i>Mathematical Reviews </i>. Published online 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 <i>Mathematical Reviews </i> (No. MR3186722).","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.” <i>Mathematical Reviews </i>, 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.” <i>Mathematical Reviews </i>, 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,” <i>Mathematical Reviews </i>. 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 }, author={Peckhaus, Volker}, year={2014} }","short":"V. Peckhaus, Mathematical Reviews  (2014)."},"language":[{"iso":"eng"}],"date_created":"2020-09-03T06:50:48Z","publication":"Mathematical Reviews ","article_number":"MR3186722","status":"public","author":[{"full_name":"Peckhaus, Volker","last_name":"Peckhaus","first_name":"Volker","id":"391"}],"date_updated":"2022-07-08T13:29:22Z","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","user_id":"59882","type":"review"}