Research Catalog

Proof theory : a selection of papers from the Leeds Proof Theory Programme 1990

Title
Proof theory : a selection of papers from the Leeds Proof Theory Programme 1990 / edited by Peter Aczel, Harold Simmons and Stanley S. Wainer.
Publication
Cambridge [England] ; New York : Cambridge University Press, 1992.

Items in the Library & Off-site

Filter by

1 Item

StatusFormatAccessCall NumberItem Location
Request for On-site UseRequest Scan
How do I pick up this item and when will it be ready?
TextRequest in advance QA9.54 .P76 1993gOff-site

Holdings

Details

Additional Authors
  • Aczel, Peter, 1941-
  • Simmons, Harold.
  • Wainer, S. S.
Description
x, 306 pages; 24 cm
Subject
Bibliography (note)
  • Includes bibliographic references.
Contents
Basic proof theory / S. Wainer and L. Wallen -- A short course in ordinal analysis / W. Pohlers -- Proofs as programs / H. Schwichtenberg -- A simplified version of local predicativity / W. Buchholz -- A note on bootstrapping intuitionistic bounded arithmetic / S. Buss -- Termination orderings and complexity characterisations / E. Cichon -- Logics for termination and correctness of functional programs, II. Logics of strength PRA / S. Feferman -- Reflecting the semantics of reflected proof / D. Howe -- Fragments of Kripke-Platek set theory with infinity / M. Rathjen -- Provable computable selection functions on abstract structures / J. Tucker and J. Zucker.
ISBN
052141413X
OCLC
  • 29637522
  • ocm29637522
Owning Institutions
Columbia University Libraries