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. Treatise on Intuitionistic Type Theory

Treatise on Intuitionistic Type Theory

af Johan Georg Granstrom

indgår i Logic, Epistemology, and the Unity of Science serien

Treatise on Intuitionistic Type Theory af Johan Georg Granstrom
Bag om Treatise on Intuitionistic Type Theory

Intuitionistic type theory can be described, somewhat boldly, as a fulfillment of the dream of a universal language for science. In particular, intuitionistic type theory is a foundation for mathematics and a programming language.

Vis mere
  • Sprog:
  • Engelsk
  • ISBN:
  • 9789400717350
  • Indbinding:
  • Hardback
  • Sideantal:
  • 212
  • Udgivet:
  • 3. juni 2011
  • Størrelse:
  • 234x156x12 mm.
  • Vægt:
  • 485 g.
  • 8-11 hverdage.
  • 16. januar 2025

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 Johan Georg Granstrom

Vis alle bøger af Johan Georg Granstrom

Beskrivelse af Treatise on Intuitionistic Type Theory

Intuitionistic type theory can be described, somewhat boldly, as a fulfillment of the dream of a universal language for science. In particular, intuitionistic type theory is a foundation for mathematics and a programming language.

Brugerbedømmelser af Treatise on Intuitionistic Type Theory



Andre købte også..
Find lignende bøger
Bogen Treatise on Intuitionistic Type Theory findes i følgende kategorier: