De Aller-Bedste Bøger - over 12 mio. danske og engelske bøger
Levering: 1 - 2 hverdage
Hjælp
Login
  1. Forside
  2. Bøger
  3. Business og læring
  4. Videnskab
  5. History and Philosophy of Constructive Type Theory

History and Philosophy of Constructive Type Theory

af Giovanni Sommaruga

indgår i Synthese Library serien

History and Philosophy of Constructive Type Theory af Giovanni Sommaruga
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
  • Indbinding:
  • Paperback
  • Sideantal:
  • 367
  • Udgivet:
  • 7. december 2010
  • Udgave:
  • 12000
  • Størrelse:
  • 234x156x19 mm.
  • Vægt:
  • 581 g.
  • 8-11 hverdage.
  • 28. november 2024

Normalpris

Abonnementspris

- 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å..
Find lignende bøger
Bogen History and Philosophy of Constructive Type Theory findes i følgende kategorier: