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: Metamathematics, machines, and Godel's proof
  name:
    name part: Shankar, N.
    role:
      role term: creator
    role:
      role term: συγγραφέας
  type of resource: text
  genre: bibliography
  origin info:
    place:
      place term: -uk
    place:
      place term: Cambridge
    place:
      place term: New York
    publisher: Cambridge University Press
    date issued: 1997, c1994
    date issued: 1994
    issuance: monographic
  language:
    language term: eng
  physical description:
    form: print
    extent: xv, 202 σ. ; 25 εκ.
  target audience: specialized
  note: N. Shankar.
  note: Περιλαμβάνει βιβλιογραφικές παραπομπές και ευρετήριο.
  subject:
    topic: Μαθηματικά
    topic: Πληροφορική
  subject:
    topic: Λογική, Συμβολική και μαθηματική
  subject:
    topic: Θεώρημα του Godel
  classification: 511.3
  related item:
    name:
      name part: Cambridge tracts in theoretical computer science
  related item:
    title info:
      title: Cambridge tracts in theoretical computer science v. 38
  identifier: 0521585333
  location:
    physical location: GR-PaULI ΠΑΤΡΑ ΒΚΠ ΒΣ1
  record info:
    record content source: GR-PaULI
    record creation date: 990123
    record change date: 20210117205649.0
    record identifier: 10022458
    language of cataloging:
      language term: gre