| 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 ... | |
| 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 ... | |
| 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 ... | |
| 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 ... | |
| |