Name: History and Philosophy of Constructive Type Theory
Price: 1666.95 DKK
Availability: InStock
Author: Giovanni Sommaruga
ISBN: 9780792361800

History and Philosophy of Constructive Type Theory af Giovanni Sommaruga

Du sparer 0% ift. normalprisen Spar 0%

Hardback
8-11 hverdage
1.666,95 kr.

Bag om 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.

Vis mere

Sprog:
Engelsk

ISBN:
9780792361800

Forlag:
Springer

Indbinding:
Hardback

Sideantal:
367

Udgivet:
1. juli 2000

Udgave:
2000

Størrelse:
240x165x28 mm.

Vægt:
726 g.

Leveringstid: 8-11 hverdage.
Forventet levering: 28. januar 2025

Normalpris

1.666,95 kr. + Fragt
~~1.666,95 kr.~~

Abonnementspris

1.662,95 kr.

- Rabat på køb af fysiske bøger
- 1 valgfrit digitalt ugeblad
- 20 timers lytning og læsning
- Adgang til 70.000+ titler
- Ingen binding

Abonnementet koster 75 kr./md.
Ingen binding og kan opsiges når som helst.

Bag om Giovanni Sommaruga

Vis alle bøger af Giovanni Sommaruga

Beskrivelse af 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.

Brugerbedømmelser af History and Philosophy of Constructive Type Theory

Andre købte også..