| Publication | Date of Publication | Type |
|---|
| A type-free system extending (ZFC) | 1989-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3812243 | 1987-01-01 | Paper |
| Implication and analysis in classical Frege structures | 1987-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3720593 | 1985-01-01 | Paper |
| Choice Implies Excluded Middle | 1978-01-01 | Paper |
| Constructive set theory | 1975-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4128524 | 1975-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4135469 | 1975-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3214891 | 1973-01-01 | Paper |
| Embedding Classical Logic in Intuitionistic Logic | 1973-01-01 | Paper |
| An Absolutely Independent Set of ΣO‐Sentences | 1972-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5659516 | 1972-01-01 | Paper |
| What is a Real Number? | 1972-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5632569 | 1971-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5623688 | 1971-01-01 | Paper |
| A recursive function, defined on a compact interval and having a continuous derivative that is not recursive | 1971-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5642507 | 1970-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5600855 | 1970-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5642505 | 1970-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5600854 | 1968-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5579001 | 1966-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5600471 | 1964-01-01 | Paper |
| Remark on a system of bernays | 1964-01-01 | Paper |
| Shorter Note: The Converse of Moore's Garden-of-Eden Theorem | 1963-01-01 | Paper |
| The Invalidity of Markoff's Schema | 1963-01-01 | Paper |
| Variations on a theme of Bernays | 1963-01-01 | Paper |
| Elementary properties of the group of isolic integers | 1962-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5528638 | 1962-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5528639 | 1962-01-01 | Paper |
| Note on Degrees of Partial Functions | 1961-01-01 | Paper |
| Category methods in recursion theory | 1961-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5661491 | 1960-01-01 | Paper |
| The divisibility of isols by powers of primes | 1960-01-01 | Paper |
| Recursive digraphs, splinters and cylinders | 1959-01-01 | Paper |
| Constructive definition of certain analytic sets of numbers | 1959-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3265666 | 1959-01-01 | Paper |
| Some Theorems on Classes of Recursively Enumerable Sets | 1958-01-01 | Paper |
| Retraceable Sets | 1958-01-01 | Paper |
| Recursive equivalence types and combinatorial functions | 1958-01-01 | Paper |
| Solution of a problem of Tarski | 1956-01-01 | Paper |
| Effective operations on partial recursive functions | 1955-01-01 | Paper |
| Creative sets | 1955-01-01 | Paper |
| Criteria of constructibility for real numbers | 1953-01-01 | Paper |
| On the interpretation of the sign ‘⊃’ | 1953-01-01 | Paper |
| Arithmetic with creative definitions by induction | 1953-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5824356 | 1953-01-01 | Paper |
| A derivation of number theory from ancestral theory | 1952-01-01 | Paper |
| A finitary metalanguage for extended basic logic | 1952-01-01 | Paper |
| The Hypothesis that all Classes are Nameable | 1952-01-01 | Paper |
| Report on some investigations concerning the consistency of the axiom of reducibility | 1951-01-01 | Paper |
| Towards a consistent set-theory | 1951-01-01 | Paper |
| A system which can define its own truth | 1950-01-01 | Paper |
| A reduction in the number of primitive ideas of arithmetic | 1950-01-01 | Paper |
| A complete theory of natural, rational, and real numbers | 1950-01-01 | Paper |
| Note on an idea of Fitch | 1949-01-01 | Paper |
