Logic and arithmetic
Bostock, David.
Oxford Clarendon Press,
1974
Bibliography : p.215-216. - Includes index
Arithmetic.
Axioms.
Logic, Symbolic and mathematical.