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