Basic Proof Theory |
|
| Author:
| Troelstra, A. S.
Schwichtenberg, H. |
| Series title: | Cambridge Tracts in Theoretical Computer Science Ser. |
| ISBN: | 978-1-316-04453-7 |
| Publisher: | Cambridge University Press
|
| Book Format: | Ebook |
| List Price: | Contact Supplier contact
|
Book Description:
|
Introduction to proof theory and its applications in mathematical logic, theoretical computer science and artificial intelligence.
Introduction to proof theory and its applications in mathematical logic, theoretical computer science and artificial intelligence.