History of mathematical logic from Leibniz to Peano - Styazhkin, N. I. (The MIT Press, 1969)