Principles of mathematical logic - Hilbert, David 1862-1943 (Chelsea Pub., 1950)