Treatise on intuitionistic type theory

Detalles Bibliográficos
Autor principal:	Granström, Johan Georg (Autor)
Autor Corporativo:	SpringerLink (Online Service)
Formato:	Electronic Resource
Lenguaje:	English
Publicado:	Dordrecht, Netherlands Springer Netherlands 2011
Colección:	Logic, epistemology, and the unity of science 22
Materias:	Type theory. Logic, Symbolic and mathematical.
Acceso en línea:	Available for UP System via Springer Link.