Utvalgte kapitler av den matematiske logikk. Deutsche Zusammenfassung: Auserwählte Kapitel der mathematischen Logik. (Q2610715): Difference between revisions

Die Abhandlung gibt im wesentlichen den Inhalt von Vorlesungen wieder, die vom Verf. an der Universität Oslo gehalten wurden. Es werden behandelt: Der Aussagenkalkül, der engere und erweiterte Funktionenkalkül (diese Kapitel im engen Anschluß an die 1. Auflage von \textit{Hilbert}, \textit{Ackermann}, Grundzüge der theoretischen Logik, 1928; F. d. M. 54, 55 (JFM 54.0055.*)), außerdem der Klassenkalkül, der intuitionistische Aussagenkalkül, der elementare Kalkül mit freien Variablen und ein kurzer Überblick über die rekursive Zahlentheorie. Eine ausführlichere Inhaltsangabe, die wir hier nicht wiederholen wollen, findet sich in der am Schluß stehenden Zusammenfassung in deutscher Sprache.