Topics in modern logic
Makinson, David Clement.
London Methuen
1973
With answers to selected exercises
Bibliographyp.99-104. - Includes index
ISBN 0 416 78100 4 Pbk: £0.90
Logic, Symbolic and mathematical.