Grundzüge der theoretischen Logik - Hilbert, David (1862-1943).; Ackermann, Wilhelm (1896-1962). (Berlin : Verlagvon Julius Springer, 1928)