1
by Hilbert, David, Bernays, Paul
Published 1968
Springer Berlin Heidelberg
Table of Contents: ... unter b) betrachteten Art der Formalisierung des Schließens; abkürzende Regeln; Bemerkung über den Fall...