Logic for Mathematics
Hamilton, A.
Logic for Mathematics - Cambridge Cambridge University Press 1990
0521368650
Logic, Symbolic and Mathematical
Logic for Mathematics - Cambridge Cambridge University Press 1990
0521368650
Logic, Symbolic and Mathematical