Воо1е G., The mathematical analysis of logic, being an essay towards a calculus of deductive reasoning, Oxf

http://libmeta.ru/resource/mathenc/publication/p7624