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: Treatise on Intuitionistic Type Theory
  name:
    name part: Granström, Johan Georg.
    role:
      role term: creator
    role:
      role term: author.
  name:
    name part: Granström, Johan Georg.
    role:
      role term: author.
  name:
    name part: SpringerLink (Online service)
  type of resource: text
  origin info:
    place:
      place term: ne
    date issued: 2011
    issuance: monographic
  language:
    language term: eng
  physical description:
    form: electronic
    form: electronic resource
    reformatting quality: access
    form: remote
    extent: XIV, 198 p. online resource.
  abstract: Intuitionistic type theory can be described, somewhat boldly, as a fulfillment of the dream of a universal language for science. In particular, intuitionistic type theory is a foundation for mathematics and a programming language. This book expounds several aspects of intuitionistic type theory, such as the notion of set, reference vs. computation, assumption, and substitution. Moreover, the book includes philosophically relevant sections on the principle of compositionality, lingua characteristica, epistemology, propositional logic, intuitionism, and the law of excluded middle. Ample historical references are given throughout the book.
  note: by Johan Georg Granström, Johan Georg Granström.
  subject:
    topic: Philosophy
  subject:
    topic: Epistemology
  subject:
    topic: Logic
  subject:
    topic: Computer logic
  subject:
    topic: Algorithms
  subject:
    topic: Mathematical logic
  subject:
    topic: Philosophy
  subject:
    topic: Epistemology
  subject:
    topic: Mathematical Logic and Foundations
  subject:
    topic: Logics and Meanings of Programs
  subject:
    topic: Logic
  subject:
    topic: History of Philosophy
  subject:
    topic: Algorithms
  classification: BD143-237
  classification: 120
  related item:
    title info:
      title: Springer eBooks
  related item:
    title info:
      title: Logic, Epistemology, and the Unity of Science ; 22
  identifier: 9789400717367
  identifier: http://dx.doi.org/10.1007/978-94-007-1736-7
  record info:
    record creation date: 110601
    record change date: 20151120192807.0
    record identifier: 978-94-007-1736-7