Search Images Maps Play YouTube News Gmail Drive More »
Sign in
Books Books 1 - 10 of about 18 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 - 367 pages
Provability, Computability and Reflection
Limited preview - About this book

Provability, Computability and Reflection

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

Logic and Structure

Dirk Dalen - Mathematics - 2004 - 263 pages
This fourth edition contains a new material on Godel's first incompleteness theorem.
Limited preview - About this book




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