Principles of mathematical logic (1951)

by D Hilbert, W Ackermann