Black November: Store besparelser hele måneden Vi fejrer Black Friday hele november måned med store besparelser
Udvidet returret til d. 31. januar 2025
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 - Giovanni Sommaruga - Bog

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.
  • 8-11 hverdage.
  • 28. november 2024

Normalpris

  • BLACK NOVEMBER

Medlemspris

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:

Gør som tusindvis af andre bogelskere

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