Monographs in modern logic - Keene, Geoffrey B. (Routledge and Paul, 1962)