TY  - BOOK
AU  - Hamilton, A.
TI  - Logic for Mathematics
SN  - 0521368650
PY  - 1990///
CY  - Cambridge
PB  - Cambridge University Press
KW  - Logic, Symbolic and Mathematical
ER  -