Basic Proof Theory
Author | : A. S. Troelstra |
Publisher | : Cambridge University Press |
Total Pages | : 436 |
Release | : 2000-07-27 |
ISBN-10 | : 0521779111 |
ISBN-13 | : 9780521779111 |
Rating | : 4/5 (111 Downloads) |
Book Synopsis Basic Proof Theory by : A. S. Troelstra
Download or read book Basic Proof Theory written by A. S. Troelstra and published by Cambridge University Press. This book was released on 2000-07-27 with total page 436 pages. Available in PDF, EPUB and Kindle. Book excerpt: Introduction to proof theory and its applications in mathematical logic, theoretical computer science and artificial intelligence.