Intensional mathematics / 
edited by Stewart Shapiro. 
 - Amsterdam :  North-Holland ;Elsevier Science Pub. Co.,  1985. 
 - v, 230 p. 
 - Studies in logic and the foundations of mathematics ;  v. 113 .
<br/><br/><label>ISBN: </label>0444876324 (U.S.) 
<br/><br/><label>LCCN: </label>55051423  
<br/><br/><label>Subjects--Topical Terms: </label><br/>Modality (Logic).<br/>Constructive mathematics.<br/>Intuitionistic mathematics.
<br/><br/><label>LC Class. No.: </label>QA9.46  / .I57 1985 
<br/><br/><label>Dewey Class. No.: </label>511�19