Andrews, P. B.  1937- <br/><br/>
A transfinite type theory with type variables / 
by P. B. Andrews 
 - Amsterdam :  North-Holland Pub.,  1965 
 - xv, 143 p. ;  23 cm. 
 - Studies in logic and the foundations of mathematics .
<br/><br/>Includes bibliographical references and index 
<br/><br/><label>ISBN: </label> Dfl 20 (pbk) 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Type theory
<br/><br/><label>Dewey Class. No.: </label>164