Semantics of Type Theory: Correctness, Completeness and Independence Results
Seiten
1991
Birkhäuser Verlag (Hersteller)
978-3-7643-3594-6 (ISBN)
Birkhäuser Verlag (Hersteller)
978-3-7643-3594-6 (ISBN)
- Titel erscheint in neuer Auflage
- Artikel merken
Zu diesem Artikel existiert eine Nachauflage
| Zusatzinfo | 47 Ill. |
|---|---|
| Verlagsort | Basel |
| Sprache | englisch |
| Maße | 150 x 225 mm |
| Gewicht | 711 g |
| Einbandart | gebunden |
| Themenwelt | Mathematik / Informatik ► Informatik ► Programmiersprachen / -werkzeuge |
| Mathematik / Informatik ► Informatik ► Theorie / Studium | |
| ISBN-10 | 3-7643-3594-7 / 3764335947 |
| ISBN-13 | 978-3-7643-3594-6 / 9783764335946 |
| Zustand | Neuware |
| Haben Sie eine Frage zum Produkt? |
