Mancosu, Paolo (Autor)
Introduction to Proof Theory
Normalization, Cut-Elimination, and Consistency Proofs
Beschreibung
Produktdetails
| ISBN/GTIN | 978-0-19-264929-4 |
|---|---|
| Seitenzahl | 336 S. |
| Kopierschutz | Digital Rights Management |