The development of logic

Kneale, William Calvert