Granstrm, Johan Georg. <br/><br/>
Treatise on Intuitionistic Type Theory  [electronic resource] / 
by Johan Georg Granstrm, Johan Georg Granstrm. 
 - Dordrecht :  Springer Netherlands,  2011. 
 -  digital. 
 - Logic, Epistemology, and the Unity of Science ;  22 .
 - Logic, Epistemology, and the Unity of Science ;  22 .
<br/><br/><label>ISBN: </label>9789400717367 
<br/><br/><label>Standard No.: </label>10.1007/978-94-007-1736-7  doi 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Philosophy (General).<br/>Genetic epistemology.<br/>Logic.<br/>Logic design.<br/>Algorithms.<br/>Logic, Symbolic and mathematical.<br/>Philosophy.<br/>Epistemology.<br/>Mathematical Logic and Foundations.<br/>Logics and Meanings of Programs.<br/>Logic.<br/>History of Philosophy.<br/>Algorithms.
<br/><br/><label>LC Class. No.: </label>BD143-237 
<br/><br/><label>Dewey Class. No.: </label>120