Große Auswahl an günstigen Büchern
Alles immer versandkostenfrei!
Schnelle Lieferung per Post und DHL
Kundenservice
Login
  1. Startseite
  2. Bücher
  3. Wirtschaft & Schule
  4. Wissenschaft
  5. History and Philosophy of Constructive Type Theory

History and Philosophy of Constructive Type Theory

von Giovanni Sommaruga

enthalten in Synthese Library-Reihe

History and Philosophy of Constructive Type Theory von Giovanni Sommaruga Sie sparen 13% des UVP sparen 13%
Über History and Philosophy of Constructive Type Theory

A comprehensive survey of Martin-Loef's constructive type theory, considerable parts of which have only been presented by Martin-Loef in lecture form or as part of conference talks. Readership: Comprehensive accounts of the history and philosophy of constructive type theory and a considerable amount of related material.

Mehr anzeigen
  • Sprache:
  • Englisch
  • ISBN:
  • 9780792361800
  • Einband:
  • Gebundene Ausgabe
  • Seitenzahl:
  • 367
  • Veröffentlicht:
  • 1. Juli 2000
  • Ausgabe:
  • 2000
  • Abmessungen:
  • 240x165x28 mm.
  • Gewicht:
  • 726 g.
  Versandkostenfrei
  Versandfertig in 1-2 Wochen.

Über Giovanni Sommaruga

Alle Bücher von Giovanni Sommaruga anzeigen

Beschreibung von History and Philosophy of Constructive Type Theory

A comprehensive survey of Martin-Loef's constructive type theory, considerable parts of which have only been presented by Martin-Loef in lecture form or as part of conference talks. Readership: Comprehensive accounts of the history and philosophy of constructive type theory and a considerable amount of related material.

Kund*innenbewertungen von History and Philosophy of Constructive Type Theory



Andere kauften auch ...
Ähnliche Bücher finden
Das Buch History and Philosophy of Constructive Type Theory ist in den folgenden Kategorien erhältlich:

Willkommen bei den Tales Buchfreunden und -freundinnen

Jetzt zum Newsletter anmelden und tolle Angebote und Anregungen für Ihre nächste Lektüre erhalten.