TY - BOOK AU - Hamilton TI - LOGIC FOR MATHEMATICIANS SN - 0521292913 U1 - 510 PY - 1978/// CY - Cambridge PB - Cambridge University Press, Cambridge ER -