Osnovanija matematiki : teorija dokazatel'stv - Hilbert, David, 1862-1943 (Matematičeskaja logika i osnovanija matematiki, 1982)