Hamilton, A. G. Logic for Mathematics/ - New York Cambridge University Press 1988 - viii,227p.: ill.; Includes index ISBN: 0521368650 LC Class. No.: QA9 / .H18 1988