TY  - GEN
AU  - Davis, Martin
TI  - Lectures notes on mathematical logic
U1  - 510.6 
PY  - 1959///
CY  - New York
PB  - New York University
KW  - lLgica matematica
KW  - Calcul propozitional
KW  - Teorema lui Godel
KW  - Aritmetica formala
KW  - Logica predicativa
N1  - Lucrare multigr. - Pe coperta: New York University. Courant Institute
ER  -