Treatise on Intuitionistic Type Theory

Saved in:

Bibliographic Details
Main Author:	Granstrm, Johan Georg
Corporate Author:	SpringerLink (Online service)
Format:	Electronic eBook
Language:	English
Published:	Dordrecht : Springer Netherlands, 2011.
Series:	Logic, Epistemology, and the Unity of Science ; 22
Subjects:	Philosophy (General). Genetic epistemology. Logic. Logic design. Algorithms. Logic, Symbolic and mathematical. Philosophy. Epistemology. Mathematical Logic and Foundations. Logics and Meanings of Programs. History of Philosophy.
Online Access:	http://dx.doi.org/10.1007/978-94-007-1736-7
Tags:	Add Tag No Tags, Be the first to tag this record!

Treatise on Intuitionistic Type Theory by Granstrm, Johan Georg

Published 2011

Get full text

Electronic eBook