Cheng, Yong (Autor)
Incompleteness for Higher-Order Arithmetic
An Example Based on Harrington's Principle
Beschreibung
Produktdetails
| ISBN/GTIN | 978-981-13-9949-7 |
|---|---|
| Seitenzahl | 122 S. |
| Kopierschutz | mit Wasserzeichen |