Osnovanija matematiki. Teorija dokazateľstv - Hilbert, David (Nauka, 1982)