| Publication | Date of Publication | Type |
|---|
| Logical hygiene, foundations, and abstractions: diversity among aspects and options | 2013-10-29 | Paper |
| Second thoughts around some of Gödel's writings: A non-academic option | 2000-04-25 | Paper |
| On the idea(l) of logical closure | 1992-09-27 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3033728 | 1989-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3815270 | 1988-01-01 | Paper |
| Church's thesis and the ideal of informal rigour | 1987-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3691667 | 1985-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3671969 | 1982-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3964564 | 1982-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3914981 | 1981-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3926540 | 1981-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3966132 | 1981-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4192054 | 1979-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3893922 | 1979-01-01 | Paper |
| Wie die Beweistheorie zu ihren Ordinalzahlen kam und kommt | 1977-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3880844 | 1977-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3048826 | 1977-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3855172 | 1977-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4101810 | 1976-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4193431 | 1976-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4140961 | 1976-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4079564 | 1975-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4087149 | 1975-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4103079 | 1974-01-01 | Paper |
| A notion of mechanistic theory | 1974-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4103501 | 1974-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5648331 | 1972-01-01 | Paper |
| Which number theoretic problems can be solved in recursive progressions on Π11-paths through O? | 1972-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5623672 | 1971-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5633976 | 1971-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5623682 | 1971-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5618337 | 1971-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5606570 | 1970-01-01 | Paper |
| Formal systems for some branches of intuitionistic analysis | 1970-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5597507 | 1970-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5592220 | 1970-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5608740 | 1970-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5582322 | 1969-01-01 | Paper |
| Two notes on the foundations of set-theory | 1969-01-01 | Paper |
| A survey of proof theory | 1968-01-01 | Paper |
| Reflection Principles and their Use for Establishing the Complexity of Axiomatic Systems | 1968-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5539743 | 1968-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5569100 | 1968-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5579002 | 1968-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5551419 | 1968-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5536619 | 1967-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5522915 | 1967-01-01 | Paper |
| Transfinite induction and bar induction of types zero and one, and the role of continuity in intuitionistic analysis | 1966-01-01 | Paper |
| Persistent and invariant formulas relative to theories of higher order | 1966-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5509676 | 1966-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5525322 | 1965-01-01 | Paper |
| Metarecursive sets | 1965-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5631101 | 1965-01-01 | Paper |
| On weak completeness of intuitionistic predicate logic | 1963-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5343326 | 1962-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3843617 | 1962-01-01 | Paper |
| 1 — Consistency and faithful interpretations | 1962-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5607987 | 1961-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5596755 | 1961-01-01 | Paper |
| Number theoretic concepts and recursive well-orderings | 1961-01-01 | Paper |
| Finite Definability of Number‐Theoretic Functions and Parametric Completeness of Equational Calculi | 1961-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5513756 | 1960-01-01 | Paper |
| La prédicativité | 1960-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5612467 | 1960-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5599164 | 1960-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5599159 | 1960-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5545514 | 1960-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5545515 | 1960-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5344164 | 1959-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5567860 | 1959-01-01 | Paper |
| Mathematical significance of consistency proofs | 1959-01-01 | Paper |
| A remark on free choice sequences and the topological completeness proofs | 1959-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3269140 | 1959-01-01 | Paper |
| Elementary completeness properties of intuitionistic logic with a note on negations of prenex formulae | 1959-01-01 | Paper |
| HILBERT'S PROGRAMME | 1958-01-01 | Paper |
| Applications of formalized consistency proofs II | 1958-01-01 | Paper |
| Eine Unableitbarkeitsbeweismethode für den Intuitionistischen Aussagenkalkül | 1957-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3243266 | 1957-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3246326 | 1957-01-01 | Paper |
| Some applications of formalized consistency proofs | 1955-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3230359 | 1955-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5850527 | 1955-01-01 | Paper |
| Remark on complete interpretations by models | 1954-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5830649 | 1954-01-01 | Paper |
| On the concepts of completeness and interpretation of formal systems | 1953-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5823280 | 1953-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5822063 | 1953-01-01 | Paper |
| THE DIAGONAL METHOD IN FORMALIZED ARITHMETIC | 1953-01-01 | Paper |
| Note on Functional Relationship | 1953-01-01 | Paper |
| On the interpretation of non-finitist proofs–Part II | 1952-01-01 | Paper |
| Some concepts concerning formal systems of number theory | 1952-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5816172 | 1952-01-01 | Paper |
| On the Interpretation of Non-Finitist Proofs--Part I | 1951-01-01 | Paper |
| Some Remarks on the Foundations of Mathematics: an Expository Article | 1951-01-01 | Paper |
| Note on arithmetic models for consistent formulae of the predicate calculus | 1950-01-01 | Paper |
| Surface waves | 1949-01-01 | Paper |
| Some remarks on integral equations with kernels: L (ξ 1 - x 1 ,..., ξ n - x n ; α) | 1949-01-01 | Paper |
