HISTORY OF MATHEMATICAL LOGIC FROM LEIBNIZ TO PEANO - Styazhkin, N. I. (Cambridge M. I. T. Press, 1969)
Ref. : P. 285-313
Keywords: Logic, Symbolic And Mathematical -- History