Osnovanija matematiky : logičeskije isčislenija i formalizacija aritmetiki - Hilbert, David; Bernays, Paul (rz1, 1979)