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

Proof Theory: An Introduction

Wolfram Pohlers - Mathematics - 1989 - 213 pages
Although this is an introductory text on proof theory, most of its contents is not found in a unified form elsewhere in the literature, except at a very advanced level. The ...
Limited preview - About this book

Proof Theory: An Introduction

Wolfram Pohlers - Mathematics - 2009 - 220 pages
Although this is an introductory text on proof theory, most of its contents is not found in a unified form elsewhere in the literature, except at a very advanced level. The ...
Limited preview - About this book

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

Provability, Computability and Reflection

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




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