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: Computational logic and set theory
    sub title: applying formalized logic to analysis
  name:
    name part: Schwartz, Jacob T.
    name part: 1930-2009
    role:
      role term: creator
    role:
      role term: aut
  name:
    name part: Cantone, Domenico
    role:
      role term: aut
  name:
    name part: Omodeo, Eugenio
    name part: 1951-
    role:
      role term: aut
  name:
    name part: Davis, Martin
    name part: 1928-
    role:
      role term: wfw
  type of resource: text
  genre: elektronické knihy
  genre: příručky
  genre: electronic books
  genre: handbooks, manuals, etc
  origin info:
    place:
      place term: xxu
    place:
      place term: London
    place:
      place term: Dordrecht
    publisher: Springer
    date issued: c2011
    date issued: 2011
    issuance: monographic
  language:
    language term: eng
  physical description:
    form: electronic
    form: elektronický zdroj
    form: remote
    extent: xvii, 416 s. : il.
  note: Jacob T. Schwartz, Domenico Cantone, Eugenio G. Omodeo ; foreword by Martin Davis
  note: Název z titulní obrazovky
  note: Plný text je dostupný pouze z IP adres počítačů Univerzity Tomáše Bati ve Zlíně nebo vzdáleným přístupem pro zaměstnance a studenty univerzity
  note: Elektronická reprodukce
  note: Způsob přístupu: World Wide Web
  note: Obsahuje bibliografie a rejstřík
  subject:
    topic: počítačová věda
  subject:
    topic: formální logika
  subject:
    topic: matematická logika
  subject:
    topic: teorie množin
  subject:
    topic: počítačové programy
  subject:
    topic: softwarové inženýrství
  subject:
    topic: logické programování
  subject:
    topic: computer science
  subject:
    topic: set theory
  subject:
    topic: mathematical logic
  subject:
    topic: formal logic
  subject:
    topic: computer programs
  subject:
    topic: software engineering
  subject:
    topic: logic programming
  classification: 004
  classification: 164
  classification: 510.6
  classification: 510.22
  classification: 004.42
  classification: 004.41
  classification: 004.42.047
  classification: (0.034.2:08)
  classification: (035)
  identifier: 9780857298089
  identifier: https://proxy.k.utb.cz/login
  access condition: Plný text je dostupný pouze z IP adres počítačů Univerzity Tomáše Bati ve Zlíně nebo vzdáleným přístupem pro zaměstnance a studenty univerzity
  record info:
    record content source: ZLD002
    record creation date: 120203
    record change date: 20260410152038.0
    record identifier: 62829
    language of cataloging:
      language term: cze