Osnovanija matematiki : Teorija dokazatel'stv - Hilbert, D.; Bernays, P. (Nauka, 1982)