Principles of mathematical logic - Hilbert, David; Ackerman, W (Chelsea, 1950)