Logic and arithmetic - Bostock, David 1936-2019 (Clarendon Press, 1974)