Davis, Martin <br/><br/>
Lectures notes on mathematical logic 
Martin Davis ; based on student notes by Allen Weigarten 
 - New York  New York University  1959 
 - 98 p  tab  30 cm 
<br/><br/> Lucrare multigr. - Pe coperta: New York University. Courant Institute 
<br/><br/><label>Subjects--Topical Terms: </label><br/>lLgica matematica<br/>Calcul propozitional<br/>Teorema lui Godel<br/>Aritmetica formala<br/>Logica predicativa
<br/><br/><label>Dewey Class. No.: </label>510.6 510.65