Basic Proof Theory
About the book
Discover the foundations of structural proof theory with the second revised edition of Basic Proof Theory by Cambridge University Press. Published in 2000, this comprehensive guide spans 432 pages, making it an essential resource for students and scholars alike. This edition features significant updates, including rewritten sections for enhanced clarity and the addition of new content focused on cut elimination. Additionally, you'll find solutions to selected exercises, providing valuable insights for your learning journey. Whether you're a beginner or looking to deepen your understanding, Basic Proof Theory offers a clear and engaging introduction to this vital area of mathematical logic. Enhance your knowledge and skills today by adding this indispensable book to your collection!
| Author | A. S. (Universiteit van Amsterdam) Troelstra |
|---|---|
| Publisher | Cambridge University Press |
| Published | 2000 m. |
| Language | English |
| Pages | 432 psl. |
| Format | Paperback |
| Edition | 2 Revised edition |
| ISBN | 9780521779111 |
