The goal of the Hilbert Bernays Project is to publish a commented bilingual edition of the second German edition of Hilbert Bernays Grundlagen der Mathematik. It is to have the German facsimile text on the even pages and an English translation with notes on the uneven pages. To see how this looks like, please go to our publications page.