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: Reductive logic and proof-search
    sub title: proof theory, semantics, and control
  name:
    name part: Pym, David J.
    role:
      role term: creator
    role:
      role term: author.
  name:
    name part: Ritter, Eike
    role:
      role term: author.
  type of resource: text
  genre: bibliography
  genre: Electronic books.
  origin info:
    place:
      place term: enk
    place:
      place term: Oxford, UK
    place:
      place term: New York
    publisher: Clarendon Press
    publisher: Oxford University Press
    date issued: 2004
    issuance: monographic
  language:
    language term: eng
  physical description:
    form: remote
    extent: 1 online resource (xv, 208 pages) : illustrations
  abstract: This book is a specialized monograph on the development of the mathematical and computational metatheory of reductive logic and proof-search, areas of logic that are becoming important in computer science. A systematic foundational text on these emerging topics, it includes proof-theoretic, semantic/model-theoretic and algorithmic aspects. The scope ranges from the conceptual background to reductive logic, through its mathematical metatheory, to its modern applications in thecomputational sciences. Suitable for researchers and graduate students in mathematical, computational and philosophical l.
  table of contents: 1. Deductive logic, reductive logic, and proof-search -- 2. Lambda-calculi for intuitionistic and classical proofs -- 3. The semantics of intuitionistic and classical proofs -- 4. Proof theory for reductive logic -- 5. Semantics for reductive logic -- 6. Intuitionistic and classical proof-search and their semantics.
  note: David J. Pym and Eike Ritter.
  note: Includes bibliographical references and index.
  subject:
    topic: Logic, Symbolic and mathematical
  subject:
    topic: Proof theory
  subject:
    topic: Logique symbolique et mathématique
  subject:
    topic: Théorie de la preuve
  subject:
    topic: MATHEMATICS
    topic: Infinity
  subject:
    topic: MATHEMATICS
    topic: Logic
  subject:
    topic: Logic, Symbolic and mathematical
  subject:
    topic: Proof theory
  subject:
    topic: Bewijstheorie
  subject:
    topic: Reductie (filosofie)
  subject:
    topic: Logica
  classification: QA9 .P87 2004eb
  classification: 511.3
  classification: 08.33
  classification: 31.10
  related item:
    title info:
      title: Reductive logic and proof-search
    name:
      name part: Pym, David J.
    origin info:
      publisher: Oxford, UK : Clarendon Press ; New York : Oxford University Press, 2004
    identifier: (DLC) 2004049208
    identifier: (OCoLC)54865392
  related item:
    title info:
      title: Oxford logic guides ; 45
  identifier: 9781435620780
  identifier: 143562078X
  identifier: 0191523534
  identifier: 9780191523533
  identifier: 9780191712012
  identifier: 0191712019
  identifier: 0198526334
  identifier: 9780198526339
  identifier: http://proxy.library.tamu.edu/login
  record info:
    record content source: N$T
    record creation date: 080128
    record change date: 20260318173021.5
    record identifier: in00005702343
    language of cataloging:
      language term: eng