Logik in der Mathematik

Theoretische Informatik

Band 1: Logik, Informations- und Speichertheorie, Archäologie

Maximen VI / Maxims VI

Maximen V / Maxims V

Einstieg in die beweisorientierte Mathematik

Maximen IV / Maxims IV

Einführung in die mathematische Logik

Der Satz des Pythagoras in 365 Beweisen

Das ABC des Schachspiels

Das Internationale Problemturnier Deutschen Schachbundes Nürnberg 1883

Die Schachcongresse zu Düsseldorf, Köln u. Frankfurt a. M.

200 Ausgewählte Schachaufgaben

Paul Morphy

Leitfaden für Schachspieler

Skizze aus der Schachwelt

Neue Grundlagen der Logik, Arithmetik und Mengenlehre

Diskrete Mathematik mit Grundlagen

Das Mittelspiel im Schach

Eröffnungsfallen am Schachbrett

Beweisen lernen Schritt für Schritt

Philosophie der Mathematik

Formale Logik

Einführung in die Mathematik für Ökonomen

Grenzen der Mathematik

Logik, Informationstheorie

Der Satz vom ausgeschlossenen Dritten

Formale Logik und Grammatik

Theorien der reellen Zahlen und Interpretierbarkeit

Logik und Zweckreinheit im neudeutschen Schachproblem

Gesammelte Abhandlungen / Collected Papers

"Das ist o. B. d. A. trivial!"

Höhere Analysis I