Vi bøger
Trustpilot
Levering: 1 - 2 hverdage
Forlænget returret til d. 31. januar 2025
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 - Johan Georg Granstrom - Bog

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:
  • 9789400736399
  • Indbinding:
  • Paperback
  • Sideantal:
  • 212
  • Udgivet:
  • 3. august 2013
  • Udgave:
  • 2011
  • Størrelse:
  • 234x156x11 mm.
  • Vægt:
  • 305 g.
  • 1-2 uger.
  • 15. januar 2025
Forlænget returret til d. 31. januar 2025
  •  

    Kan ikke leveres inden jul.
    Køb nu og print et gavebevis

Normalpris

Medlemspris

Prøv i 30 dage for 45 kr.
Herefter fra 79 kr./md. Ingen binding.

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:

Gør som tusindvis af andre bogelskere

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