Zu den Widersprüchen der Logik und der Mengenlehre.
Das Auflösungsproblem in der Klassenlogik.
Das Vereinfachungsproblem für aussagenlogische Normalformen.
Zu den Parallelreihentransformationen in Schröders "Algebra und Logik der Relative".
Ein logischer Habakus.
Das Auflösungsproblem in der Klassenlogik. Fortsetzung.
Zur Technik des Differenzierens.
Page 1