History of mathematical logic from Leibniz to Peano (Stanovlenie idej matematičeskoj logiki [Engl.]) - Stjažkin, Nikolai Ivanovič (M.I.T.Press, 1969)