Principles of mathematical logic - 174681 Hilbert, David; Ackermann, W. (New York : Chelsea, 1950)
32