| Publication | Date of Publication | Type |
|---|
What is mathematical logic? An Australian odyssey
Logic Journal of the IGPL | 2024-02-20 | Paper |
Axiomatization via translation: Hiż's warning for predicate logic
| 2023-05-15 | Paper |
… and so on: Schütte on Naming Ordinals
The Legacy of Kurt Schütte | 2021-12-03 | Paper |
Logics modulo theories: a logical framework for multi-agent systems
Logic Journal of the IGPL | 2019-01-08 | Paper |
What Is a Proof?
Proof, Computation and Agency | 2015-04-17 | Paper |
What Is Mathematical Logic? A Survey
Proof, Computation and Agency | 2015-04-17 | Paper |
What Is the Difference Between Proofs and Programs?
Proof, Computation and Agency | 2015-04-17 | Paper |
Declarative programming: a logical view
Electronic Notes in Theoretical Computer Science | 2013-07-24 | Paper |
Tiered logic for agents in contexts
Communications in Computer and Information Science | 2010-10-06 | Paper |
The essentials of, and for, mathematics
| 2008-10-20 | Paper |
scientific article; zbMATH DE number 5308747 (Why is no real title available?)
| 2008-08-07 | Paper |
Disjunctive Constraint Lambda Calculi
Logic for Programming, Artificial Intelligence, and Reasoning | 2008-05-27 | Paper |
Samsara
| 2006-06-29 | Paper |
Adapting Proofs-as-Programs
Monographs in Computer Science | 2005-09-28 | Paper |
scientific article; zbMATH DE number 2086602 (Why is no real title available?)
| 2004-08-11 | Paper |
scientific article; zbMATH DE number 2079677 (Why is no real title available?)
| 2004-07-30 | Paper |
scientific article; zbMATH DE number 2063228 (Why is no real title available?)
| 2004-03-29 | Paper |
scientific article; zbMATH DE number 2063221 (Why is no real title available?)
| 2004-03-29 | Paper |
scientific article; zbMATH DE number 2014444 (Why is no real title available?)
| 2003-12-08 | Paper |
scientific article; zbMATH DE number 1973215 (Why is no real title available?)
| 2003-09-01 | Paper |
A logic-based modelling of Prolog resolution sequences including the negation as failure rule
Logique et Analyse. Nouvelle Série | 2001-09-04 | Paper |
scientific article; zbMATH DE number 1617311 (Why is no real title available?)
| 2001-07-11 | Paper |
Curry-Howard terms for linear logic
Studia Logica | 2001-06-13 | Paper |
Fred: An approach to generating real, correct, reusable programs from proofs
Journal of Universal Computer Science | 2001-05-13 | Paper |
scientific article; zbMATH DE number 1418375 (Why is no real title available?)
| 2000-10-25 | Paper |
scientific article; zbMATH DE number 1358160 (Why is no real title available?)
| 1999-11-08 | Paper |
New Curry-Howard terms for full linear logic
Theoretical Computer Science | 1998-07-22 | Paper |
scientific article; zbMATH DE number 1140686 (Why is no real title available?)
| 1998-07-20 | Paper |
scientific article; zbMATH DE number 1169389 (Why is no real title available?)
| 1998-06-25 | Paper |
scientific article; zbMATH DE number 961793 (Why is no real title available?)
| 1997-01-07 | Paper |
scientific article; zbMATH DE number 823595 (Why is no real title available?)
| 1996-10-08 | Paper |
scientific article; zbMATH DE number 749915 (Why is no real title available?)
| 1995-11-09 | Paper |
scientific article; zbMATH DE number 749923 (Why is no real title available?)
| 1995-09-18 | Paper |
scientific article; zbMATH DE number 193521 (Why is no real title available?)
| 1993-06-05 | Paper |
scientific article; zbMATH DE number 176202 (Why is no real title available?)
| 1993-05-18 | Paper |
Cancellation laws for polynomial-time \(p\)-isolated sets
Annals of Pure and Applied Logic | 1992-09-27 | Paper |
Thus spake al-Ḵẖwārizmī: A translation of the text of Cambridge University library ms. ii.vi.5
Historia Mathematica | 1990-01-01 | Paper |
Completeness proofs for propositional logic with polynomial-time connectives
Annals of Pure and Applied Logic | 1989-01-01 | Paper |
Fifty years of computability
Southeast Asian Bulletin of Mathematics | 1988-01-01 | Paper |
Natural well-orderings
Archiv für Mathematische Logik und Grundlagenforschung | 1986-01-01 | Paper |
Recursive categoricity and recursive stability
Annals of Pure and Applied Logic | 1986-01-01 | Paper |
scientific article; zbMATH DE number 3896923 (Why is no real title available?)
| 1984-01-01 | Paper |
scientific article; zbMATH DE number 3880676 (Why is no real title available?)
| 1983-01-01 | Paper |
The given
Studia Logica | 1982-01-01 | Paper |
scientific article; zbMATH DE number 3739519 (Why is no real title available?)
| 1981-01-01 | Paper |
scientific article; zbMATH DE number 3731994 (Why is no real title available?)
| 1981-01-01 | Paper |
scientific article; zbMATH DE number 3730119 (Why is no real title available?)
| 1981-01-01 | Paper |
scientific article; zbMATH DE number 3713704 (Why is no real title available?)
| 1980-01-01 | Paper |
scientific article; zbMATH DE number 3737595 (Why is no real title available?)
| 1980-01-01 | Paper |
scientific article; zbMATH DE number 3604872 (Why is no real title available?)
| 1978-01-01 | Paper |
Effective dimension
Journal of Algebra | 1976-01-01 | Paper |
scientific article; zbMATH DE number 3525081 (Why is no real title available?)
| 1976-01-01 | Paper |
scientific article; zbMATH DE number 3506664 (Why is no real title available?)
| 1975-01-01 | Paper |
scientific article; zbMATH DE number 3487430 (Why is no real title available?)
| 1975-01-01 | Paper |
scientific article; zbMATH DE number 3443640 (Why is no real title available?)
| 1974-01-01 | Paper |
scientific article; zbMATH DE number 3453554 (Why is no real title available?)
| 1974-01-01 | Paper |
scientific article; zbMATH DE number 3395834 (Why is no real title available?)
| 1972-01-01 | Paper |
Recursive Equivalence
Bulletin of the London Mathematical Society | 1970-01-01 | Paper |
scientific article; zbMATH DE number 3292869 (Why is no real title available?)
| 1969-01-01 | Paper |
scientific article; zbMATH DE number 3280057 (Why is no real title available?)
| 1968-01-01 | Paper |
Constructive order types, III
Archiv für Mathematische Logik und Grundlagenforschung | 1966-01-01 | Paper |
Constructive order types, II
Journal of Symbolic Logic | 1966-01-01 | Paper |
Non-uniqueness at ω2 in Kleene'sO
Archiv für Mathematische Logik und Grundlagenforschung | 1966-01-01 | Paper |
scientific article; zbMATH DE number 3233632 (Why is no real title available?)
| 1965-01-01 | Paper |
