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. Computer og IT
  5. Twenty Five Years of Constructive Type Theory

Twenty Five Years of Constructive Type Theory

af Giovanni (Professor of Mathematical Logic Sambin

indgår i Oxford Logic Guides serien

Twenty Five Years of Constructive Type Theory af Giovanni (Professor of Mathematical Logic Sambin
Bag om Twenty Five Years of Constructive Type Theory

Martin-Lof Type Theory is both an important and practical formalization and a focus for a charismatic view of the foundations of mathematics. This volume, including one of Per Martin-Lof's earliest papers, celebrates the 25th anniversary of the birth of the subject.

Vis mere
  • Sprog:
  • Engelsk
  • ISBN:
  • 9780198501275
  • Indbinding:
  • Hardback
  • Sideantal:
  • 292
  • Udgivet:
  • 15. oktober 1998
  • Størrelse:
  • 161x242x20 mm.
  • Vægt:
  • 588 g.
  • 2-3 uger.
  • 22. januar 2025
På lager

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 (Professor of Mathematical Logic Sambin

Vis alle bøger af Giovanni (Professor of Mathematical Logic Sambin

Beskrivelse af Twenty Five Years of Constructive Type Theory

Martin-Lof Type Theory is both an important and practical formalization and a focus for a charismatic view of the foundations of mathematics. This volume, including one of Per Martin-Lof's earliest papers, celebrates the 25th anniversary of the birth of the subject.

Brugerbedømmelser af Twenty Five Years of Constructive Type Theory



Andre købte også..
Find lignende bøger
Bogen Twenty Five Years of Constructive Type Theory findes i følgende kategorier: