Search Images Maps Play YouTube News Gmail Drive More »
Sign in
Books Books 1 - 10 of about 29 related to Proof theory.   

Proof Theory: A Selection of Papers from the Leeds Proof Theory Programme 1990

Peter Aczel, Harold Simmons, Stanley S. Wainer - Computers - 1992 - 306 pages
The lecture courses in this work are derived from the SERC 'Logic for IT' Summer School and Conference on Proof Theory held at Leeds University. The contributions come from ...
Limited preview - About this book

Provability, Computability and Reflection

Lev D. Beklemishev - Mathematics - 2000 - 515 pages
Provability, Computability and Reflection
Limited preview - About this book




  1. My library
  2. Help
  3. Advanced Book Search