Principles Of Mathematical Logic by David Hilbert & W. Ackermann