Grundzüge der theoretischen Logik (1928)

by D Hilbert, W Ackermann
Venue:trans.: Principle of Mathematical Logic. AMS