| Publication | Date of Publication | Type |
|---|
| Seventy Years of Computer Science | 2022-11-09 | Paper |
| My Life as a Logician | 2020-08-06 | Paper |
| Pragmatic Platonism | 2020-08-06 | Paper |
| Concluding Comments by Martin | 2020-08-06 | Paper |
| Pragmatic Platonism | 2020-02-05 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4619816 | 2019-02-07 | Paper |
| Turing's vision and deep learning | 2018-09-06 | Paper |
| Conceptual Confluence in 1936: Post and Turing | 2018-04-18 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4597322 | 2017-12-12 | Paper |
| In Memory of Jacob Schwartz | 2016-06-15 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3464623 | 2016-01-27 | Paper |
| The Logician and the Engineer—A Book Review | 2015-10-14 | Paper |
| Representation theorems for recursively enumerable sets and a conjecture related to Poonen's large subring of \(\mathbb Q\) | 2014-01-16 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2845892 | 2013-09-03 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3114248 | 2012-02-02 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3079625 | 2011-03-02 | Paper |
| Sex and the mathematician: the High School Prom Theorem | 2009-07-15 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3620010 | 2009-04-14 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5448298 | 2008-03-20 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5450055 | 2008-03-19 | Paper |
| Logical Approaches to Computational Barriers | 2007-04-30 | Paper |
| Why there is no such discipline as hypercomputation | 2006-08-04 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5477995 | 2006-06-29 | Paper |
| An appreciation of Bob Paige | 2006-02-08 | Paper |
| What did Gödel Believe and When did He believe It? | 2006-02-08 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4420197 | 2003-08-14 | Paper |
| Mathematics and design: Yes, but will it fly? | 2003-03-16 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2751352 | 2002-08-27 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2756780 | 2001-11-18 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4510371 | 2000-10-25 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4263941 | 2000-02-08 | Paper |
| American Logic in the 1920s | 1997-03-25 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4884671 | 1996-11-11 | Paper |
| A Free Variable Version of the First-Order Predicate Calculus | 1992-06-27 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3204021 | 1989-01-01 | Paper |
| Metric Space-based Test-data Adequacy Criteria | 1988-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3807156 | 1988-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3814769 | 1988-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3778705 | 1987-01-01 | Paper |
| A formal notion of program-based test data adequacy | 1983-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3686043 | 1983-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3346295 | 1982-01-01 | Paper |
| Why Gödel didn't have church's thesis | 1982-01-01 | Paper |
| The mathematics of non-monotonic reasoning | 1980-01-01 | Paper |
| Metamathematical extensibility for theorem verifiers and proof-checkers | 1979-01-01 | Paper |
| A relativity principle in quantum mechanics | 1978-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4132530 | 1977-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4115143 | 1976-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4767300 | 1974-01-01 | Paper |
| Hilbert's Tenth Problem is Unsolvable | 1973-01-01 | Paper |
| On the Number of Solutions of Diophantine Equations | 1972-01-01 | Paper |
| An explicit diophantine definition of the exponential function | 1971-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5616171 | 1970-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4075453 | 1968-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5587014 | 1967-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5596810 | 1966-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5597192 | 1966-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5607992 | 1966-01-01 | Paper |
| Diophantine sets over polynomial rings | 1963-01-01 | Paper |
| Extensions and corollaries of recent work on Hilbert's tenth problem | 1963-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5338316 | 1963-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5339307 | 1963-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5586293 | 1962-01-01 | Paper |
| A machine program for theorem-proving | 1962-01-01 | Paper |
| The decision problem for exponential diophantine equations | 1961-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5557927 | 1960-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5559241 | 1960-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5599157 | 1960-01-01 | Paper |
| A Computing Procedure for Quantification Theory | 1960-01-01 | Paper |
| Reductions of Hilbert's tenth problem | 1959-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3256318 | 1959-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3247126 | 1958-01-01 | Paper |
| The Definition of Universal Turing Machine | 1958-01-01 | Paper |
| Arithmetical problems and recursively enumerable predicates | 1953-01-01 | Paper |
