Development Of Logic P by Martha Kneale, W.C. Kneale & William Kneale