rdf-syntax-grammar
mods:
  schema location: http://www.loc.gov/mods/v3 http://www.loc.gov/standards/mods/v3/mods-3-2.xsd
  title info:
    title: Semantics and Logic of Computation
  name:
    name part: Dybjer, Peter
    role:
      role term: edt
  name:
    name part: Pitts, A. M. (Andrew M.)
    role:
      role term: edt
  type of resource: text
  origin info:
    publisher: Cambridge University Press
    issuance: monographic
  language:
    language term: eng
  physical description:
    form: print
    extent: xii, 361p.
  note: includes bibliographical references Εργαστηριο Συνδυαστικων Αλγοριθμων
  subject:
    topic: Υπολογισμός
  subject:
    topic: Υπολογιστική
  subject:
    topic: ΕΣΑ
  related item:
    title info:
      title: Publications of the Newton Institute 14
  related item:
    name:
      name part: Publications of the Newton Institute
  location:
    physical location: GR-PaULI ΠΑΤΡΑ ΤΜΗΥΠ
  record info:
    record content source: Βιβλιοθήκη ΕΑΙΤΥ
    record creation date: 991022
    record change date: 20210426080111.0
    record identifier: 10105057