Enderton, Herbert B.
A mathematical introduction to logic - 2nd ed. - San Diego, Calif. : Harcourt Academic Press, 2001 - 317 p.
0122384520
LOGIC, SYMBOLIC AND MATHEMATICAL
QA9 / E523M 2001
A mathematical introduction to logic - 2nd ed. - San Diego, Calif. : Harcourt Academic Press, 2001 - 317 p.
0122384520
LOGIC, SYMBOLIC AND MATHEMATICAL
QA9 / E523M 2001