Bostock, David

Logic and arithmetic / David Bostock - Oxford : Clarendon Press, 1974 - v. ; 22 cm.

0198245912


Arithmetic--Foundations
Axioms
Logic, Symbolic and mathematical