Formal logic = or, The calculus of inference, necessary and probable - De Morgan, Augustus 1806-1871 (Cambridge University Press, 2014)