Um eUniverse.ch in vollem Umfang nutzen zu können, empfehlen wir Ihnen Javascript in Ihrem Browser zu aktiveren.

History and Philosophy of Constructive Type Theory

178.17 CHF

Versandkostenfrei

Lieferzeit: 21 Werktage

Artikel-Nr.: 10209862

Beschreibung

Preface. 1. The Present Version of Constructive Type Theory (1995). 2. Metatheoretical Considerations. 3. History of Constructive Type Theory (1970-95). 4. Philosophical and Technical Prehistory of Constructive Type Theory (1880-1970). Conclusion. References.

Eigenschaften

Breite:	161
Gewicht:	703 g
Höhe:	26
Länge:	243
Seiten:	367
Sprachen:	Englisch
Autor:	Giovanni Sommaruga

Bewertung

Menü schließen

Bewertungen werden nach Überprüfung freigeschaltet.

Die mit einem * markierten Felder sind Pflichtfelder.

Ich habe die Datenschutzbestimmungen zur Kenntnis genommen.

Artikel vergleichen

Mindestens noch einen Artikel hinzufügen um Vergleich zu starten.

Bestseller Kategorie

Topseller