---
res:
  bibo_authorlist:
  - foaf_Person:
      foaf_givenName: Volker
      foaf_name: Peckhaus, Volker
      foaf_surname: Peckhaus
      foaf_workInfoHomepage: http://www.librecat.org/personId=391
  dct_date: 2014^xs_gYear
  dct_language: eng
  dct_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@'
...