Principles of mathematical logic - Hilbert D; Ackermann W (1950)
Keywords: Arithmetic; Mathematics