History of mathematical logic from Leibniz to Peano - Stjažkin, Nikolai Ivanovič