Mathematics, the language concepts
Anderson, John Alfred Henry.
London Stanley Thornes (Publishers) Ltd
1974
With answers
Includes index
ISBN 0-85950-009-8 Pbk : £1.25
Proof theory.
Logic, Symbolic and mathematical.