Grundzüge der theoretischen Logik - Hilbert, David, 1862-1943.; Ackermann, W. (Wilhelm), 1896- (Berlin, Heidelberg, New York : Springer, 1967)
Bibliography: p. [183]-186. and index.
Keywords: Logic, Symbolic and mathematical