121.3  / G767t <br/>
Granstrom, Johan Georg <br/>
       Treatise on intuitionistic type theory 
 / Johan Georg Granstrom 
 .- Dordrecht: Springer,  2011 
 .- xiii, 196p . 
.- ( Logic, Epistemology, And The Unity Of Science / Edited By Shahid Rahman  V.22   
<br><u>ISBN:</u> 9789400717350 
<br/><u>Subject Headings:</u> <br/>Intuition -- Philosophy;
<br><U>Copy Details:</u><br> Acc. No.: <b>A172851</b>, Full Call No.: 121.3 G767t,   Item type:  Books , Location: General Stacks, <br><b>------------------------- --------------------- ------ --------- ------- ------- --------- -------- </b><br>