@misc{18896,
  author       = {{Peckhaus, Volker}},
  booktitle    = {{Mathematical Reviews, MR3186722 }},
  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}}},
  year         = {{2014}},
}