Book

Formal Logic, or, the Calculus of Inference, Necessary and Probable

by Augustus de Morgan