Dragalin, Albert Grigorevich <br/><br/>
Mathematical intuitionism:  introduction to proof theory/ 
A. G. Dragalin. 
 - Providence, R.I.:  American Mathematical Society,  c1988. 
 - ix 228 p. ;  24 cm. 
 - Translations of mathematical monographs,  v. 67. .
<br/><br/> Includes indexes. 
<br/><br/>Bibliography: p. 201-216. 
<br/><br/><label>ISBN: </label>0821845209 (alk. paper) 
<br/><br/><label>LCCN: </label>87032766 //r94 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Intuitionistic mathematics.
<br/><br/><label>Dewey Class. No.: </label>511.3  / D759m