Osnovanija matematiki : teorija dokazatel'stv - Bernays, Paul, 1888-1977 (Matematičeskaja logika i osnovanija matematiki, 1982)