Grundzüge der theoretischen Logik (1928)

by David Hilbert, Wilhelm Ackermann
Venue:Geoffrey E. Hinton, Simon Osindero, Yee-Whye