Logic for mathematicians
Hamilton, Alan G.
Cambridge Cambridge University Press
1978
With hints and solutions to selected exercises
Bibliography: p.215. - Includes index
ISBN 0-521-29291-3 Pbk : £4.95
Logic, Symbolic and mathematical.