TY  - GEN
AU  - Hamilton, A.G.
TI  - Logic for mathematics
SN  - 0521368650
AV  - QA 9 HAM 1988 
PY  - 1988///
CY  - New York
PB  - Cambridge University Press
KW  - Logic, Symbolic and mathematical
N1  - Includes bibliographical references and index
ER  -