Osnovanija matematiki : Logičeskije isčislenija i formalizacija arifmetiki - Hilbert, D.; Bernays, P. (1979)