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