Introduction to logical theory - Strawson P.F (1952)