Logic and arithmetic
Bostock, David.
Oxford Clarendon Press,
1979
Bibliography: p.303-304. - Includes index
Arithmetic.
Axioms.
Logic, Symbolic and mathematical.