Provability in elementary type theory 
Peter B. Andrews 
 - Carnegie-Mellon  University Carnegie-Mellon  1972 
 - 17 p  28 cm 
<br/><br/> Contine bibliografie