Osnovanija matematiki. Logičeskije isčislenija i formalizacija... - HILBERT, D.; BERNAYS, P. (1982)