Open menu
D. and W. Ackermann Hilbert
Principles of Mathematical Logic. Chelsea Publ. 1950.