Handbook of proof theory. (1998)

• Record Type: Book
• Further Information: Note: Edited by Samuel R. Buss.
• Other Names: Buss, Samuel R
• Contents: An introduction to proof theory / Samuel R. Buss -- First-order proof theory of arithmetic / Samuel R. Buss -- Hierarchies of provably recursive functions / Matt Fairtlough and Stanley S. Wainer -- Subsystems of set theory and second order number theory / Wolfram Pohlers -- Gödel's functional ("Dialectica") interpretation / Jeremy Avigad and Solomon Feferman -- Realizability / Anne S. Troelstra -- The logic of provability / Giorgi Japaridze and Dick de Jongh -- The lengths of proofs / Pavel Pudlák -- A proof-theoretic framework for logic programming / Gerhard Jäger and Robert F. Stärk -- Types in logic, mathematics and programming / Robert L. Constable.
• Publisher Details: Place of publication not identified : Elsevier Science
• Publication Date: 1998
• Extent: 1 online resource (810 pages)
• Subjects: 511.3; Proof theory; theorie preuve; Preuve, Théorie de la; Proof theory; Logica; Preuve, Théorie de la -- Guides, manuels, etc
• Languages: English
• ISBNs: 9780080533186; 0080533183
• Access Rights: Legal Deposit; Only available on premises controlled by the deposit library and to one user at any one time; The Legal Deposit Libraries (Non-Print Works) Regulations (UK).
• Access Usage: Restricted: Printing from this resource is governed by The Legal Deposit Libraries (Non-Print Works) Regulations (UK) and UK copyright law currently in force.