Lectures notes on mathematical logic
Davis, Martin
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
Lucrare multigr. - Pe coperta: New York University. Courant Institute
lLgica matematica
Calcul propozitional
Teorema lui Godel
Aritmetica formala
Logica predicativa
510.6 510.65
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
Lucrare multigr. - Pe coperta: New York University. Courant Institute
lLgica matematica
Calcul propozitional
Teorema lui Godel
Aritmetica formala
Logica predicativa
510.6 510.65