Andrews, P. B.  1937- <br/><br/>
A transfinite type theory with type variables / 
P.B. Andrews. 
 - Amsterdam :  North-Holland Pub. Co.,  1965. 
 - xv, 143 p. ;  23 cm. 
<br/><br/>Bibliography: p. 141. 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Type theory.
<br/><br/><label>Dewey Class. No.: </label>164  / ANT 1965