A PDF file should load here. If you do not see its contents
the file may be temporarily unavailable at the journal website
or you do not have a PDF plug-in installed and enabled in your browser.
Alternatively, you can download the file locally and open with any standalone PDF reader:
https://link.springer.com/content/pdf/10.1007%2FBF01695521.pdf
Carl Friedrich Gauß
RM
Die Veranderungen gegeniiber der ersten Auflage yore Jahre 1928 besehranken sich auf verschiedene Zusatze und Veranderungen, wie sie dutch die Fortschritte der Logik in den letzten Jahren notwendig waren. Die Terminologie wurde dabei den ,,Grundlagen der Mathematik" yon H i l b e r t - - B e r n a y s angeglicben; insbesonders wird statt yon ,,Funktionenkalkal" yon ,Pr~dikatenkalkfil" gesproehen. Die ersten beiden Kapitel blieben im wesentliehen ungeandert; im dritten Kapitel sind u. a. neu die Ausfiihrungen zur Vollstandigkeit der Axiome des Funktionenkalktils und zum Entscheidungsproblem; im vierten Kapitel wird die verzweigte Typentbeorie nicbt mehr behandelt. H. Hornich. (...truncated)