Name: History and Philosophy of Constructive Type Theory
Price: 140.00 EUR
Availability: InStock
Author: Giovanni Sommaruga
ISBN: 9789048154036

History and Philosophy of Constructive Type Theory von Giovanni Sommaruga

Sie sparen 13% des UVP sparen 13%

Taschenbuch
Sofort lieferbar
140,00 €

Ü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.

Sprache:
Englisch

ISBN:
9789048154036

Verlag:
Springer

Einband:
Taschenbuch

Seitenzahl:
367

Veröffentlicht:
7. Dezember 2010

Ausgabe:
12000

Abmessungen:
234x156x19 mm.

Gewicht:
581 g.

140,00 € inkl. MwSt.
~~160,49 €~~ UVP

Versandkostenfrei

Sofort lieferbar

Ü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:

History and Philosophy of Constructive Type Theory

Über Giovanni Sommaruga

Beschreibung von History and Philosophy of Constructive Type Theory

Kund*innenbewertungen von History and Philosophy of Constructive Type Theory

Willkommen bei den Tales Buchfreunden und -freundinnen