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

Proof Theory

Gaisi Takeuti - Mathematics - 2013 - 490 pages
This comprehensive monographis a cornerstone in the area ofmathematical logic and relatedfields. Focusing on Gentzen-typeproof theory, the book presents adetailed overview of ...
Limited preview - About this book

Proof Theory: An Introduction

Wolfram Pohlers - Electronic books - 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

Logical Frameworks for Truth and Abstraction: An Axiomatic Study

A. Cantini - Mathematics - 1996 - 460 pages
This English translation of the author's original work has been thoroughly revised, expanded and updated. The book covers logical systems known as type-free or self-referential ...
Limited preview - About this book

Provability, Computability and Reflection

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

Logical Foundations of Computer Science: Third International Symposium, LFCS ...

Anil Nerode, Yu.V. Matiyasevich - Computers - 1994 - 392 pages
This volume presents the refereed papers accepted for the international symposium Logical Foundations of Computer Science '94, Logic at St. Petersburg, held in St. Petersburg ...
Snippet view - About this book

Proof Theory: The First Step into Impredicativity

Wolfram Pohlers - Mathematics - 2008 - 388 pages
This book verifies with compelling evidence the author s inclination to 'write a book on proof theory which needs no previous knowledge of proof theory'. Avoiding the cryptic ...
Limited preview - About this book




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