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: Proof Theory
    sub title: History and Philosophical Significance
  name:
    name part: Hendricks, Vincent F.
    role:
      role term: creator
  name:
    name part: Pedersen, Stig Andur.
  name:
    name part: Jørgensen, Klaus Frovin.
  name:
    name part: SpringerLink (Online service)
  type of resource: text
  genre: Electronic books.
  origin info:
    place:
      place term: ne
    date issued: 2000
    issuance: monographic
  language:
    language term: eng
  physical description:
    reformatting quality: access
    form: remote
    extent: 1 online resource (xii, 257 pages)
  abstract: The conference on Proof Theory: History and Philosophical Significance held in 1997 at the University of Roskilde, Denmark, tracked the history of proof theory and its role in the analysis of the philosophical foundations of mathematics since Hilbert's original program to its modern, highly articulated form. This volume is a collection of papers presented at the conference. It can be read with profit and pleasure by philosophers, mathematicians, computer scientists and scholars with no professional training in proof theory, provided they have a general knowledge of foundational issues.
  note: edited by Vincent F. Hendricks, Stig Andur Pedersen, Klaus Frovin Jørgensen.
  note: Electronic resource.
  subject:
    topic: Philosophy (General)
  subject:
    topic: Logic
  subject:
    topic: Science
    topic: Philosophy
  subject:
    topic: Logic, Symbolic and mathematical
  classification: BC1-199
  classification: 160
  related item:
    title info:
      title: Synthese library ; 292
  identifier: 9789401727969 (electronic bk.)
  identifier: 9401727961 (electronic bk.)
  identifier: 9789048155538
  identifier: 9048155533
  identifier: 9401727961
  identifier: http://proxy.library.tamu.edu/login
  record info:
    record content source: AU@
    record creation date: 130220
    record change date: 20260422171155.2
    record identifier: in00003580939
    language of cataloging:
      language term: eng