| Publication | Date of Publication | Type |
|---|
| Zahlen | 1993-01-23 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4001318 | 1992-09-18 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4003179 | 1992-09-18 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3998810 | 1992-09-17 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3998849 | 1992-09-17 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3331164 | 1983-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4163204 | 1978-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4163516 | 1978-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4149750 | 1977-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4168904 | 1977-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3048822 | 1976-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4115124 | 1976-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4133965 | 1976-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4140962 | 1976-01-01 | Paper |
| Introduction to mathematical logic. Translated from the German by Diana Schmidt | 1973-01-01 | Paper |
| Die Unlösbarkeit des zehnten Hilbertschen Problems | 1972-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5661824 | 1972-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5663764 | 1972-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5668465 | 1972-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5613939 | 1971-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5625142 | 1971-01-01 | Paper |
| Term logic with choice operator. Revised and Enlarged Translation of the first German Edition | 1970-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5641134 | 1970-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5569445 | 1969-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5570213 | 1969-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5579472 | 1969-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5613944 | 1969-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5577037 | 1968-01-01 | Paper |
| In memoriam Wilhelm Ackermann (1896--1962) | 1967-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5534259 | 1967-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5658075 | 1967-01-01 | Paper |
| Zur Geschichte der mathematischen Logik und Grundlagenforschung in den letzten fünfundsiebzig Jahren | 1966-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5586211 | 1966-01-01 | Paper |
| Eine Termlogik mit Auswahloperator | 1965-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5330638 | 1965-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5614655 | 1965-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5332216 | 1964-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3849867 | 1963-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5723177 | 1963-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5730792 | 1963-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5599122 | 1962-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5329521 | 1961-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5730129 | 1961-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3257118 | 1959-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3260193 | 1959-01-01 | Paper |
| ZUM EINFACHHEITSPRINZIP IN DER WAHRSCHEINLICHKEITSRECHNUNG | 1958-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3284979 | 1958-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3258147 | 1957-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3260546 | 1957-01-01 | Paper |
| Über die gegenwärtige Lage der mathematischen Logik und Grundlagenforschung | 1956-01-01 | Paper |
| Die Soundness des Prädikatenkalküls auf der Basis der Quineschen Regeln | 1956-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3228598 | 1955-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5847249 | 1955-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5817385 | 1953-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5809143 | 1952-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5813177 | 1952-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5813272 | 1952-01-01 | Paper |
| Zur Theorie der aussagenlogischen Matrizen | 1951-01-01 | Paper |
| Zum Begriff der Axiomatisierbarkeit. Herrn Professor Dr. Erhard Schmidt zum 75. Geburtstage als ein Symbol der Verehrung und Dankbarkeit der Sechule von Münster | 1951-01-01 | Paper |
| Über analytische Automorphismen des \(\mathbb{R}_{2n}\) | 1950-01-01 | Paper |
| Analytische Mannigfaltigkeiten in Riemannschen Bereichen | 1949-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5796735 | 1949-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5802632 | 1948-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5802638 | 1948-01-01 | Paper |
| Die Theorie der Verbände. | 1939-01-01 | Paper |
| Über eine mathematische Theorie der Spiele. | 1939-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5775758 | 1939-01-01 | Paper |
| Eine Theorie der Zeichengestalten als Grundlage für Untersuchungen von formalisierten Sprachen. | 1938-01-01 | Paper |
| Eine Axiomatisierung der allgemeinen Mechanik. | 1938-01-01 | Paper |
| Über die Unmöglichkeit der Dreiteilung des Winkels. | 1938-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5770226 | 1938-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5771775 | 1938-01-01 | Paper |
| Definite Begriffe und berechenbare Zahlen. | 1937-01-01 | Paper |
| Ein Axiomensystem für die Syntax des (klassischen) Logikkalküls. | 1937-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5765113 | 1937-01-01 | Paper |
| Ein neuer Vollständigkeitsbeweis für das reduzierte Fregesche Axiomensystem des Aussagenkalküls. | 1936-01-01 | Paper |
| Ein neuer Vollständigkeitsbeweis für das reduzierte Fregesche Axiomensystem des Aussagenkalküls. | 1936-01-01 | Paper |
