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

Powered by Koha