| Publication | Date of Publication | Type |
|---|
| Memories related to Professor Jin Yuelin. Translated by Montgomery Link and Richard Jandovitz | 2013-09-03 | Paper |
| From Kunming to New York. Translated by Richard Jandovitz and Montgomery Link | 2013-09-03 | Paper |
| Sets and concepts, on the basis of discussions with Gödel. Edited with an introduction and notes by Charles Parsons | 2013-09-03 | Paper |
| Time in philosophy and in physics: from Kant and Einstein to Gödel. | 2000-09-07 | Paper |
| Computation, logic, philosophy. A collection of essays | 1998-09-02 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4360860 | 1998-04-15 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4367940 | 1997-12-03 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4876410 | 1996-05-02 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4847758 | 1996-03-17 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3140388 | 1994-08-28 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4002753 | 1993-01-23 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3998472 | 1992-09-17 | Paper |
| To and from philosophy-discussions with Gödel and Wittgenstein | 1992-06-28 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3976571 | 1992-06-26 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3976585 | 1992-06-26 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3764099 | 1987-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3681964 | 1984-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3216622 | 1984-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3931353 | 1982-01-01 | Paper |
| Some facts about Kurt Gödel | 1981-01-01 | Paper |
| Specker's mathematical work from 1949 to 1979 | 1981-01-01 | Paper |
| Kurt Gödel's intellectual development. [In memoriam Kurt Gödel (28 April 1906 -- 14 January 1978)]. | 1978-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4152542 | 1977-01-01 | Paper |
| Towards feasible solutions of the tautology problem | 1976-01-01 | Paper |
| Notes on a class of tiling problems | 1975-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3216621 | 1974-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5619634 | 1970-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5613902 | 1970-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5591943 | 1970-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5616168 | 1970-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5656740 | 1970-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5567431 | 1968-01-01 | Paper |
| On Axioms of Conditional Set Existence | 1967-01-01 | Paper |
| Natural Hulls and Set Existence | 1967-01-01 | Paper |
| A Theorem on Definitions of the Zermelo‐Neumann Ordinals | 1967-01-01 | Paper |
| Characterizations of ordinal numbers in set theory | 1966-01-01 | Paper |
| Finite set theory, number theory and axioms of limitation | 1966-01-01 | Paper |
| Short definitions of the ordinals | 1966-01-01 | Paper |
| Note on Rules of Inference | 1965-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5609410 | 1965-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5343337 | 1965-01-01 | Paper |
| Logic and Computers | 1965-01-01 | Paper |
| On ordinals | 1964-01-01 | Paper |
| On ordinals | 1964-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5509685 | 1963-01-01 | Paper |
| Tag systems and lag systems | 1963-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3292573 | 1963-01-01 | Paper |
| Words in the History of a Turing Machine with a Fixed Input | 1963-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5586404 | 1963-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3848196 | 1963-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3848974 | 1963-01-01 | Paper |
| ENTSCHEIDUNGSPROBLEM REDUCED TO THE AEA CASE | 1962-01-01 | Paper |
| Classification of $AEA$ formulas by letter atoms | 1962-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5557865 | 1962-01-01 | Paper |
| The Calculus of Partial Predicates and Its Extension to Set Theory I | 1961-01-01 | Paper |
| Number theoretic concepts and recursive well-orderings | 1961-01-01 | Paper |
| Toward Mechanical Mathematics | 1960-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3291529 | 1960-01-01 | Paper |
| Proving theorems by pattern recognition I | 1960-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5599160 | 1960-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5522660 | 1960-01-01 | Paper |
| Ordinal Numbers and Predicative Set Theory | 1959-01-01 | Paper |
| Alternative proof of a theorem of Kleene | 1959-01-01 | Paper |
| Circuit Synthesis by Solving Sequential Boolean Equations | 1959-01-01 | Paper |
| EIGHTY YEARS OF FOUNDATIONAL STUDIES | 1958-01-01 | Paper |
| Applications of formalized consistency proofs II | 1958-01-01 | Paper |
| The axiomatization of arithmetic | 1957-01-01 | Paper |
| Universal turing machines: An exercise in coding | 1957-01-01 | Paper |
| VI.—ON FORMALIZATION | 1955-01-01 | Paper |
| Some applications of formalized consistency proofs | 1955-01-01 | Paper |
| Undecidable sentences generated by semantic paradoxes | 1955-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3230357 | 1955-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5850527 | 1955-01-01 | Paper |
| The formalization of mathematics | 1954-01-01 | Paper |
| Certain predicates defined by induction schemata | 1953-01-01 | Paper |
| Between number theory and set theory | 1953-01-01 | Paper |
| The categoricity question of certain grand logics | 1953-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5817533 | 1953-01-01 | Paper |
| Truth Definitions and Consistency Proofs | 1952-01-01 | Paper |
| Logic of many-sorted theories | 1952-01-01 | Paper |
| VII.—NEGATIVE TYPES | 1952-01-01 | Paper |
| The irreducibility of impredicative principles | 1952-01-01 | Paper |
| Arithmetic Translations of Axiom Systems | 1951-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5810546 | 1951-01-01 | Paper |
| A formal system of logic | 1950-01-01 | Paper |
| Remarks on the Comparison of Axiom Systems | 1950-01-01 | Paper |
| Non-standard models for formal logics | 1950-01-01 | Paper |
| A Proof of Independence | 1950-01-01 | Paper |
| Existence of classes and value specification of variables | 1950-01-01 | Paper |
| The Non-Finitizability of Impredicative Principles | 1950-01-01 | Paper |
| Set-theoretical basis for real numbers | 1950-01-01 | Paper |
| On Zermelo's and Von Neumann's Axioms for Set Theory | 1949-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5794301 | 1949-01-01 | Paper |
| A new theory of element and number | 1948-01-01 | Paper |
| A Note on Quine's principles of quantification | 1947-01-01 | Paper |
