Carl Friedrich Gauß

Monatshefte für Mathematik, Dec 1939

Hlawka

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)


This is a preview of a remote PDF: https://link.springer.com/content/pdf/10.1007%2FBF01695521.pdf

Hlawka. Carl Friedrich Gauß, Monatshefte für Mathematik, 1939, pp. A5-A5, Volume 47, Issue 1, DOI: 10.1007/BF01695521