Principles of mathematical logic - Hilbert, David, 1862-1943 (American Mathematical Society, 1999)