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/Q5556428 | 1969-01-01 | Paper |
Theophrastische Modallogik | 1969-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q5656742 | 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/Q5540428 | 1965-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q5557928 | 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/Q3281050 | 1962-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q3290716 | 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 |
https://portal.mardi4nfdi.de/entity/Q3257116 | 1959-01-01 | Paper |
Logical reflection and formalism | 1959-01-01 | Paper |
Constructive definition of certain analytic sets of numbers | 1959-01-01 | Paper |
Über den Kettensatz der Mengenlehre | 1958-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q3250589 | 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 Zweiwertigen Aussagenlogik | 1954-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q5830648 | 1954-01-01 | Paper |
Zur Begründung der Modallogik | 1954-01-01 | Paper |
Eine Bemerkung über die Abzählbarkeitsvoraussetzung in der Algebra | 1953-01-01 | Paper |
Die Erweiterung halbgeordneter Gruppen zu Verbandsgruppen | 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 |
Über den Mengenbegriff in der Topologie | 1952-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q5813914 | 1952-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 |
Algebraische und logistische Untersuchungen über freie Verbände | 1951-01-01 | Paper |
Einführung in die Logik | 1950-01-01 | Paper |
Konstruktive Begründung der Mathematik | 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 |
Die Definition durch vollständige Induktion. | 1939-01-01 | Paper |
Abstrakte Begründung der multiplikativen Idealtheorie. | 1939-01-01 | Paper |
Abstrakte Begründung der multiplikativen Idealtheorie | 1939-01-01 | Paper |
Die Definition durch vollständige Induktion | 1939-01-01 | Paper |