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: Reflections on the foundations of mathematics: essays in Honor of Solomon Feferman
    sub title: lecture notes in logic 15
  name:
    name part: Sieg, Wilfried
    name part: 1945-
    role:
      role term: editor.
  name:
    name part: Sommer, Richard
    role:
      role term: editor.
  name:
    name part: Talcott, Carolyn L.
    role:
      role term: editor.
  name:
    name part: Taylor & Francis
  type of resource: text
  genre: bibliography
  genre: Electronic books.
  genre: Conference papers and proceedings.
  origin info:
    place:
      place term: flu
    date issued: 2002
    edition: First edition.
    issuance: monographic
  language:
    language term: eng
  physical description:
    form: remote
    extent: 1 online resource (450 pages)
  abstract: Solomon Feferman has shaped the field of foundational research for nearly half a century. These papers, most of which were presented at the symposium honoring him at his 70th birthday, reflect his broad interests as well as his approach to foundational research, which places the solution of mathematical and philosophical problems at the top of his agenda. The contributions range from historical to technical to philosophical topics, with emphasis on proof theory and computational aspects.
  table of contents: Chapter Jeremy Avigad Ordinal analysis without proofs -- chapter Wilfried Buchholz Relating ordinals to proofs in a perspicuous way -- chapter Harvey M. Friedman Internal finite tree embeddings -- chapter Ulrich Kohlenbach Foundational and mathematical uses of higher types -- chapter Grigori Mints The epsilon substitution method and continuity -- chapter Predicativity: The outer limits -- part PART II. LOGIC AND COMPUTATION -- chapter A pragmatic interpretation of substructural logics -- chapter Computational complexity and induction for partial computable functions in type theory -- chapter Computability theory: structure or algorithms -- chapter 3 processes in natural language interpretation.
  note: edited by Wilfried Sieg, Richard Sommer and Carolyn Talcott.
  note: Includes bibliographical references and index.
  subject:
    topic: Grondslagen
  subject:
    topic: Logic, Symbolic and mathematical
    genre: Congresses
  subject:
    topic: Logic, Symbolic and mathematical
  subject:
    topic: Mathematics
    topic: Philosophy
    genre: Congresses
  subject:
    topic: Mathematics
    topic: Philosophy
  subject:
    topic: Logique symbolique et mathématique
    genre: Congrès
  subject:
    topic: Logique symbolique et mathématique
  subject:
    topic: Mathématiques
    topic: Philosophie
    genre: Congrès
  subject:
    topic: Mathématiques
    topic: Philosophie
  subject:
    topic: MATHEMATICS
    topic: General
  subject:
    topic: Logic, Symbolic and mathematical
  subject:
    topic: Mathematics
    topic: Philosophy
  classification: QA9.A1
  classification: 511.3
  identifier: 9781439863763
  identifier: 1439863768
  identifier: http://proxy.library.tamu.edu/login
  record info:
    record content source: OTZ
    record creation date: 180727
    record change date: 20250728184626.5
    record identifier: in00005653032
    language of cataloging:
      language term: eng