| Publication | Date of Publication | Type |
|---|
| Algebraic and logistic investigations on free lattices | 2017-10-23 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3768898 | 1986-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3330030 | 1984-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3216627 | 1982-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3875888 | 1980-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3874172 | 1978-01-01 | Paper |
| Konstruktive Analysis und das geometrische Kontinuum | 1978-01-01 | Paper |
| Relativistische Mechanik mit klassischer Geometrie und Kinematik | 1977-01-01 | Paper |
| Die Vollständigkeit einer unverzweigten Variante des „analytischen“ Entscheidungsverfahrens der klassischen Logik | 1976-01-01 | Paper |
| Zur konstruktiven Deutung der semantischen Vollständigkeit klassischer Quantoren- und Modalkalküle | 1972-01-01 | Paper |
| Dialogkalküle | 1972-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5619072 | 1971-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5656742 | 1969-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5556428 | 1969-01-01 | Paper |
| Theophrastische Modallogik | 1969-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5556388 | 1968-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5573944 | 1967-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5512184 | 1966-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5557928 | 1965-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5540428 | 1965-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5596724 | 1965-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5732641 | 1964-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3290716 | 1962-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3281050 | 1962-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5726697 | 1961-01-01 | Paper |
| Constructive and axiomatic mathematics | 1960-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3268278 | 1960-01-01 | Paper |
| Constructive definition of certain analytic sets of numbers | 1959-01-01 | Paper |
| Logical reflection and formalism | 1959-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3257116 | 1959-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3250589 | 1958-01-01 | Paper |
| Über den Kettensatz der Mengenlehre | 1958-01-01 | Paper |
| über die Syllogismen als Relationenmultiplikationen | 1957-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3259773 | 1957-01-01 | Paper |
| Zur Interpretation der Syllogistik | 1956-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3238338 | 1956-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3226736 | 1955-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3229402 | 1955-01-01 | Paper |
| Über die Korrespondenzen einer Struktur | 1954-01-01 | Paper |
| Zur Begründung der Modallogik | 1954-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5830648 | 1954-01-01 | Paper |
| Zur Begründung der Zweiwertigen Aussagenlogik | 1954-01-01 | Paper |
| Die Erweiterung halbgeordneter Gruppen zu Verbandsgruppen | 1953-01-01 | Paper |
| Eine Bemerkung über die Abzählbarkeitsvoraussetzung in der Algebra | 1953-01-01 | Paper |
| Über die Komplettierung in der Bewertungstheorie | 1953-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5821411 | 1953-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5823268 | 1953-01-01 | Paper |
| Teilbarkeitstheorie in Bereichen | 1952-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5813914 | 1952-01-01 | Paper |
| Über den Mengenbegriff in der Topologie | 1952-01-01 | Paper |
| Algebraische und logistische Untersuchungen über freie Verbände | 1951-01-01 | Paper |
| Die Widerspruchsfreiheit der klassischen Analysis | 1951-01-01 | Paper |
| Maß und Integral in der konstruktiven Analysis | 1951-01-01 | Paper |
| Über endliche Mengen | 1951-01-01 | Paper |
| Konstruktive Begründung der Mathematik | 1950-01-01 | Paper |
| Einführung in die Logik | 1950-01-01 | Paper |
| Über halbgeordnete Gruppen | 1950-01-01 | Paper |
| Über halbgeordnete Gruppen | 1950-01-01 | Paper |
| Über halbgeordnete Gruppen | 1949-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5786039 | 1948-01-01 | Paper |
| Gleichheit und Ungleichheit in der Arithmetik. Helmut Hasse zum 50. Geburtstag | 1948-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5785748 | 1947-01-01 | Paper |
| Ein Beitrag zur Gruppenaxiomatik | 1944-01-01 | Paper |
| Eine Bemerkung zum Schreierschen Verfeinerungssatz | 1944-01-01 | Paper |
| Ein vereinfachtes Axiomensystem für Gruppen. | 1940-01-01 | Paper |
| Ein vereinfachtes Axiomensystem für Gruppen. | 1940-01-01 | Paper |
| Abstrakte Begründung der multiplikativen Idealtheorie | 1939-01-01 | Paper |
| Die Definition durch vollständige Induktion. | 1939-01-01 | Paper |
| Abstrakte Begründung der multiplikativen Idealtheorie. | 1939-01-01 | Paper |
| Die Definition durch vollständige Induktion | 1939-01-01 | Paper |
