Principles of mathematical logic

D. Hilbert and W. Ackermann
AMS Chelsea
9780821820247
0-8218-2024-9