| Publication | Date of Publication | Type |
|---|
| https://portal.mardi4nfdi.de/entity/Q3682706 | 1982-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5613550 | 1970-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5579485 | 1968-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5517679 | 1965-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5525676 | 1965-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5599167 | 1965-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5586343 | 1963-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5730463 | 1963-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5730131 | 1961-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3280402 | 1960-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5511414 | 1960-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3261420 | 1959-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5328163 | 1959-01-01 | Paper |
| Über arithmetische Funktionen von unendlich vielen Variablen, welche an jeder Stelle bloss von einer endlichen Anzahl von Variablen abhängig sind | 1958-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5328162 | 1957-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3233204 | 1956-01-01 | Paper |
| Ein Direkter Beweis für die Allgemein‐Rekursive Unlösbarkeit des Entscheidungsproblems des Prädikatenkalküls der Ersten Stufe mit Identität | 1956-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3240234 | 1956-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3240241 | 1956-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5546783 | 1955-01-01 | Paper |
| Über ein Problem, betreffend die Definition des Begriffes der allgemein-rekursiven Funktion | 1955-01-01 | Paper |
| L'influence de la géométrie de Bolyai-Lobatchevsky sur le développement de la méthode axiomatique | 1954-01-01 | Paper |
| A renewal theorem for a sequence of dependent random variables | 1952-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5814798 | 1952-01-01 | Paper |
| Sur l'équation de translation | 1951-01-01 | Paper |
| Contributions to the reduction theory of the decision problem | 1951-01-01 | Paper |
| Contributions to the reduction theory of the decision problem | 1951-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5802127 | 1950-01-01 | Paper |
| On the reduction of the decision problem. Third paper. Pepis prefix, a single binary predicate | 1950-01-01 | Paper |
| On Cauchy's convergence test | 1950-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5795190 | 1950-01-01 | Paper |
| Contributions to the reduction theory of the decision problem | 1950-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5787744 | 1949-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5795115 | 1949-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5802124 | 1949-01-01 | Paper |
| On the reduction of the decision problem | 1947-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5843849 | 1943-01-01 | Paper |
| Zielsetzungen, Methoden und Ergebnisse der Hilbertschen Beweistheorie. | 1941-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5778599 | 1941-01-01 | Paper |
| On the possibility of definition by recursion. | 1940-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5775750 | 1940-01-01 | Paper |
| On the reduction of the decision problem. I: Ackermann prefix, a single binary predicate. | 1939-01-01 | Paper |
| On the reduction of the decision problem. First paper. Ackermann prefix, a single binary predicate | 1939-01-01 | Paper |
| Report on the Gyula König prize for the year 1938. | 1938-01-01 | Paper |
| Zur Reduktion des Entscheidungsproblems. | 1937-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5768894 | 1937-01-01 | Paper |
| Über den Fundamentalsatz der Zahlentheorie. | 1936-01-01 | Paper |
| Zurückführung des Entscheidungsproblems auf den Fall von Formeln mit einer einzigen, binären Funktionsvariablen. | 1936-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5764760 | 1936-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5760346 | 1936-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5760697 | 1935-01-01 | Paper |
| Über die Axiomatisierbarkeit des Aussagenkalküls. | 1935-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4760399 | 1934-01-01 | Paper |
| Über einen Löwenheimschen Satz. | 1934-01-01 | Paper |
| Über die Erfüllbarkeit derjenigen Zählausdrücke, welche in der Normalform zwei benachbarte Allzeichen enthalten | 1933-01-01 | Paper |
| Über die Erfüllbarkeit derjenigen Zählausdrücke, welche in der Normalform zwei benachbarte Allzeichen enthalten. | 1933-01-01 | Paper |
| Ein Beweis des Ruffini-Abelschen Satzes. | 1932-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4481135 | 1932-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4482744 | 1932-01-01 | Paper |
| Zum Entscheidungsproblem der mathematischen Logik. | 1932-01-01 | Paper |
| Ein Beitrag zum Entscheidungsproblem. | 1932-01-01 | Paper |
| Ein Beitrag zum Entscheidungsproblem. | 1932-01-01 | Paper |
| Über die mittlere Anzahl der Produktdarstellungen der Zahlen. | 1931-01-01 | Paper |
| Über das Problem der ``Factorisatio Numerorum. | 1931-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4480899 | 1931-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4479988 | 1931-01-01 | Paper |
| Über die Abschätzung der Koeffizientensumme Dirichletscher Reihen. | 1929-01-01 | Paper |
| Eine Bemerkung zur Entscheidungstheorie. | 1929-01-01 | Paper |
| Zur Theorie der abstrakten Spiele | 1928-01-01 | Paper |
