Osnovanija matematiki : Teorija dokazateľsv - Hilbert, D.; Bernays, P. (Nauka, 1982)