| Publication | Date of Publication | Type |
|---|
| What is mathematical logic? An Australian odyssey | 2024-02-20 | Paper |
| https://portal.mardi4nfdi.de/entity/Q6041914 | 2023-05-15 | Paper |
| … and so on: Schütte on Naming Ordinals | 2021-12-03 | Paper |
| Logics Modulo Theories: a logical framework for multi-agent systems | 2019-01-08 | Paper |
| What Is a Proof? | 2015-04-17 | Paper |
| What Is Mathematical Logic? A Survey | 2015-04-17 | Paper |
| What Is the Difference Between Proofs and Programs? | 2015-04-17 | Paper |
| Declarative programming: a logical view | 2013-07-24 | Paper |
| Tiered Logic for Agents in Contexts | 2010-10-06 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3529181 | 2008-10-20 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3518185 | 2008-08-07 | Paper |
| Disjunctive Constraint Lambda Calculi | 2008-05-27 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5477948 | 2006-06-29 | Paper |
| Adapting Proofs-as-Programs | 2005-09-28 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4737136 | 2004-08-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4471724 | 2004-07-30 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4460845 | 2004-03-29 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4460836 | 2004-03-29 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4437264 | 2003-12-08 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4421868 | 2003-09-01 | Paper |
| A logic-based modelling of Prolog resolution sequences including the negation as failure rule | 2001-09-04 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2722042 | 2001-07-11 | Paper |
| Curry-Howard terms for linear logic | 2001-06-13 | Paper |
| Fred: An approach to generating real, correct, reusable programs from proofs | 2001-05-13 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4941939 | 2000-10-25 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4700804 | 1999-11-08 | Paper |
| New Curry-Howard terms for full linear logic | 1998-07-22 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4385454 | 1998-07-20 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4397041 | 1998-06-25 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5689739 | 1997-01-07 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4856950 | 1996-10-08 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4764097 | 1995-11-09 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4764104 | 1995-09-18 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4040322 | 1993-06-05 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4035306 | 1993-05-18 | Paper |
| Cancellation laws for polynomial-time \(p\)-isolated sets | 1992-09-27 | Paper |
| Thus spake al-Ḵẖwārizmī: A translation of the text of Cambridge University library ms. ii.vi.5 | 1990-01-01 | Paper |
| Completeness proofs for propositional logic with polynomial-time connectives | 1989-01-01 | Paper |
| Fifty years of computability | 1988-01-01 | Paper |
| Natural well-orderings | 1986-01-01 | Paper |
| Recursive categoricity and recursive stability | 1986-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3676136 | 1984-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3346300 | 1983-01-01 | Paper |
| The given | 1982-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3926567 | 1981-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3919665 | 1981-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3918101 | 1981-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3904585 | 1980-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3924139 | 1980-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4170702 | 1978-01-01 | Paper |
| Effective dimension | 1976-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4103066 | 1976-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4087158 | 1975-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4071223 | 1975-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4769050 | 1974-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4777250 | 1974-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5663820 | 1972-01-01 | Paper |
| Recursive Equivalence | 1970-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5575559 | 1969-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5565103 | 1968-01-01 | Paper |
| Constructive order types, III | 1966-01-01 | Paper |
| Constructive order types, II | 1966-01-01 | Paper |
| Non-uniqueness at ω2 in Kleene'sO | 1966-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5521482 | 1965-01-01 | Paper |
