Grundzuge der theoretischen Logik (1928)

by D Hilbert, W Ackermann