Granström, Johan Georg (Autor)
Treatise on Intuitionistic Type Theory
Beschreibung
Produktdetails
| ISBN/GTIN | 978-94-007-1736-7 |
|---|---|
| Seitenzahl | 198 S. |
| Kopierschutz | mit Wasserzeichen |
| Dateigröße | 1580 Kbytes |