Markedets billigste bøger
Gratis fragt fra 599,- kr
Trustpilot
Levering: 1 - 2 hverdage
Hjælp
Login
  1. Forside
  2. Bøger
  3. 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:
  • 9780792361800
  • Indbinding:
  • Hardback
  • Sideantal:
  • 367
  • Udgivet:
  • 1. juli 2000
  • Udgave:
  • 2000
  • Størrelse:
  • 240x165x28 mm.
  • Vægt:
  • 726 g.
  Gratis fragt
Leveringstid: 8-11 hverdage
Forventet levering: 25. januar 2025

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

Gør som tusindvis af andre bogelskere

Tilmeld dig nyhedsbrevet og få gode tilbud og inspiration til din næste læsning.