Horská, Anna (Autor)
Where is the Gödel-point hiding: Gentzen's Consistency Proof of 1936 and His Representation of Constructive Ordinals
Beschreibung
Produktdetails
| ISBN/GTIN | 978-3-319-02171-3 |
|---|---|
| Seitenzahl | 77 S. |
| Kopierschutz | mit Wasserzeichen |
| Dateigröße | 3314 Kbytes |