An Introduction to Proof Theory
Normalization, Cut-Elimination, and Consistency Proofs
An Introduction to Proof Theory provides an accessible introduction to the theory of proofs, with details of proofs worked out and examples and exercises to aid the reader's understanding.
Specificaties
| ISBN/EAN | 9780192895943 |
| Auteur | Paolo (Willis S. and Marion Slusser Professor of Philosophy Mancosu |
| Uitgever | Van Ditmar Boekenimport B.V. |
| Taal | Engels |
| Uitvoering | Paperback / gebrocheerd |
| Pagina's | 432 |
| Lengte | |
| Breedte |