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

Proof Theory

Gaisi Takeuti - Mathematics - 2013 - 490 pages
Focusing on Gentzen-type proof theory, this volume presents a detailed overview of creative works by author Gaisi Takeuti and other twentieth-century logicians. The text ...
Limited preview - About this book

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

Combinators, λ-Terms and Proof Theory

S. Stenlund - Philosophy - 2012 - 177 pages
The aim of this monograph is to present some of the basic ideas and results in pure combinatory logic and their applications to some topics in proof theory, and also to present ...
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