11 books • 9 series
Book #73: Einführung in Die Verbandstheorie
Book #127: Enumerability * Decidability Computability
Book #1: Zahlen
Book #2: Lineare Algebra und analytische Geometrie
Book #6: Funktionentheorie 2
Book #5: Funktionentheorie I
Book #67: Selecta Mathematica II
Book #86: Selecta Mathematica III
Book #87: Aufzahlbarkeit Entscheidbarkeit Berechenbarkeit
Book #6: Term Logic with Choice Operator
Book #6: Eine Termlogik Mit Auswahloperator