Siirry suoraan sisältöön
Treatise on Intuitionistic Type Theory
Tallenna

Treatise on Intuitionistic Type Theory

Intuitionistic type theory can be described, somewhat boldly, as a partial fulfillment of the dream of a universal language for science. This book expounds several aspects of intuitionistic type theory, such as the notion of set, reference vs.
ISBN
9789400717350
Kieli
englanti
Paino
446 grammaa
Julkaisupäivä
3.6.2011
Kustantaja
Springer
Sivumäärä
198