History of mathematical logic from Leibniz to Peano /
Stiazhkin, N. I.
Cambridge (Mass.) London M.I.T. Press
1969
Originally published as 'Stanovlenie idei matematicheskoi logiki'. Moscow: Nauka, 1964
bibl p285-313
Logic, Symbolic and mathematical.