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.
Painos
2011 ed.
ISBN
9789400736399
Kieli
englanti
Paino
310 grammaa
Julkaisupäivä
3.8.2013
Kustantaja
Springer
Sivumäärä
198