Grundzüge der theoretischen Logik (1928)

by D Hilbert, W Ackermann
Venue:1938, Principles of Mathematical Logic