Oglesby, Francis C <br/><br/>
An examination of a decision procedure 
by Francis C. Oglesby 
 - Providence, Rhode Island  American Mathematical Society  1962 
 - 148 p  24 cm 
 - Seria Memoirs of the American Mathematical Society  Nr. 44 .
<br/><br/> Contine bibliogr 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Logica predicativa<br/>Calcul predicativ
<br/><br/><label>Dewey Class. No.: </label>510.6 510.635