von Martin Hofmann
Gebunden
ISBN: 978-3-540-76121-1
ISBN-10: 3-540-76121-7
Springer · 1997
|
|
von Martin HofmannGebunden
ISBN: 978-3-540-76121-1 ISBN-10: 3-540-76121-7 Springer · 1997 |
| Siehe auch: | ||
| 1997 | Paperback | Extensional Constructs in Intensional Type Theory (Distinguished Dissertations) |