Introduction to logical theory - Strawson, P. F. (London, Methuen; New York, Wiley, 1952)