Osnovanija matematiki : logičeskije isčislenija i formalizacija arifmetiki - Hilbert, David, 1862-1943 (Nauka, 1979)