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

History and Philosophy of Constructive Type Theory af Giovanni Sommaruga

Du sparer 0% ift. normalprisen Spar 0%

Paperback
8-11 hverdage
1.687,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:
9789048154036

Forlag:
Springer

Indbinding:
Paperback

Sideantal:
367

Udgivet:
7. december 2010

Udgave:
12000

Størrelse:
234x156x19 mm.

Vægt:
581 g.

Leveringstid: 8-11 hverdage.
Forventet levering: 5. december 2024

Normalpris

BLACK NOVEMBER
1.687,95 kr. + Fragt
~~1.687,95 kr.~~

Medlemspris

1.637,95 kr.

Prøv i 30 dage for 45 kr.
Herefter fra 79 kr./md. Ingen binding.

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

Find lignende bøger

Bogen History and Philosophy of Constructive Type Theory findes i følgende kategorier:

History and Philosophy of Constructive Type Theory - Giovanni Sommaruga - Bog

Bag om Giovanni Sommaruga

Beskrivelse af History and Philosophy of Constructive Type Theory

Brugerbedømmelser af History and Philosophy of Constructive Type Theory

Gør som tusindvis af andre bogelskere