GUTSCHEIN
Bitte haben Sie einen Moment Geduld, wir legen Ihr Produkt in den Warenkorb.
Diese Produkte könnten Sie auch interessieren:
Categorical Logic and Type Theory
780 Seiten, Taschenbuch
€ 172,80
| Reihe | Butterworth-Heinemann |
|---|---|
| ISBN | 9780444508539 |
| Sprache | Englisch |
| Erscheinungsdatum | 10.05.2001 |
| Größe | 243 x 165 mm |
| Verlag | Elsevier BV |
| Lieferzeit | Lieferung in 7-14 Werktagen |
| Herstellerangaben | Anzeigen Libri GmbH Europaallee 1 | D-36244 Bad Hersfeld gpsr@libri.de |
Unsere Prinzipien
- ✔ kostenlose Lieferung innerhalb Österreichs ab € 35,–
- ✔ über 1,5 Mio. Bücher, DVDs & CDs im Angebot
- ✔ alle FALTER-Produkte und Abos, nur hier!
- ✔ keine Weitergabe personenbezogener Daten an Dritte
- ✔ als 100% österreichisches Unternehmen liefern wir innerhalb Österreichs mit der Österreichischen Post
Kurzbeschreibung des Verlags
This book is an attempt to give a systematic presentation of both logic and type theory from a categorical perspective, using the unifying concept of fibred category. Its intended audience consists of logicians, type theorists, category theorists and (theoretical) computer scientists.
| Reihe | Butterworth-Heinemann |
|---|---|
| ISBN | 9780444508539 |
| Sprache | Englisch |
| Erscheinungsdatum | 10.05.2001 |
| Größe | 243 x 165 mm |
| Verlag | Elsevier BV |
| Lieferzeit | Lieferung in 7-14 Werktagen |
| Herstellerangaben | Anzeigen Libri GmbH Europaallee 1 | D-36244 Bad Hersfeld gpsr@libri.de |
Unsere Prinzipien
- ✔ kostenlose Lieferung innerhalb Österreichs ab € 35,–
- ✔ über 1,5 Mio. Bücher, DVDs & CDs im Angebot
- ✔ alle FALTER-Produkte und Abos, nur hier!
- ✔ keine Weitergabe personenbezogener Daten an Dritte
- ✔ als 100% österreichisches Unternehmen liefern wir innerhalb Österreichs mit der Österreichischen Post
Diese Produkte könnten Sie auch interessieren:
Sagen Sie uns Ihre Meinung
Wie gefällt Ihnen unser Shop?
Ihr Name (optional)
Ihre E-Mail Adresse (optional)