Kneale and Kneale, The Development of Logic (1962)