| Publication | Date of Publication | Type |
|---|
The early history of formal diagonalization
Logic Journal of the IGPL | 2024-02-20 | Paper |
Where Do Axioms Come From?
Axiomatic Thinking I | 2022-12-14 | Paper |
| Mathematical Problems | 2020-09-03 | Paper |
Book review of: J. von Plato, The great formal machinery works. Theories of deduction and computation at the origins of the digital age
The Mathematical Intelligencer | 2018-11-19 | Paper |
| MVT: a most valuable theorem | 2017-03-20 | Paper |
Book review of: D. van Dalen, L. E. J. Brouwer. Topologist, intuitionist, philosopher. How mathematics is rooted in life
The Mathematical Intelligencer | 2015-12-16 | Paper |
| A treatise on the binomial theorem | 2013-03-27 | Paper |
Chapters in probability
Texts in Mathematics | 2012-08-14 | Paper |
Adventures in formalism
Texts in Mathematics | 2012-08-14 | Paper |
Chapters in mathematics. From \(\pi\) to Pell
Texts in Mathematics | 2012-08-14 | Paper |
| History of Mathematics | 2007-10-23 | Paper |
| scientific article; zbMATH DE number 1032008 (Why is no real title available?) | 1997-07-08 | Paper |
Logical number theory I. An introduction
Universitext | 1992-09-17 | Paper |
Arithmetic analogues of McAloon's unique Rosser sentences
Archive for Mathematical Logic | 1989-01-01 | Paper |
| scientific article; zbMATH DE number 4087620 (Why is no real title available?) | 1988-01-01 | Paper |
Quantified modal logic and self-reference
Notre Dame Journal of Formal Logic | 1987-01-01 | Paper |
Julia Robinson, in memoriam
The Mathematical Intelligencer | 1986-01-01 | Paper |
Self-reference and modal logic
Universitext | 1985-01-01 | Paper |
What's new in logic?
The Mathematical Intelligencer | 1985-01-01 | Paper |
| scientific article; zbMATH DE number 3882428 (Why is no real title available?) | 1984-01-01 | Paper |
The finite inseparability of the first-order theory of diagonalisable algebras
Studia Logica | 1982-01-01 | Paper |
Fixed point algebras
Bulletin of the American Mathematical Society | 1982-01-01 | Paper |
A note on initial segment constructions in recursively saturated models of arithmetic
Notre Dame Journal of Formal Logic | 1982-01-01 | Paper |
| scientific article; zbMATH DE number 3792159 (Why is no real title available?) | 1982-01-01 | Paper |
| scientific article; zbMATH DE number 3819711 (Why is no real title available?) | 1982-01-01 | Paper |
Commutativity and self-reference
Notre Dame Journal of Formal Logic | 1982-01-01 | Paper |
The varieties of arboreal experience
The Mathematical Intelligencer | 1982-01-01 | Paper |
Recursively saturated nonstandard models of arithmetic; addendum
Journal of Symbolic Logic | 1982-01-01 | Paper |
Elementary extensions of recursively saturated models of arithmetic
Notre Dame Journal of Formal Logic | 1981-01-01 | Paper |
Fifty years of self-reference in arithmetic
Notre Dame Journal of Formal Logic | 1981-01-01 | Paper |
Recursively saturated nonstandard models of arithmetic
Journal of Symbolic Logic | 1981-01-01 | Paper |
Skolem's solution to a problem of Frobenius
The Mathematical Intelligencer | 1981-01-01 | Paper |
Cofinal extensions of nonstandard models of arithmetic
Notre Dame Journal of Formal Logic | 1981-01-01 | Paper |
Calculating self-referential statements: Guaspari sentences of the first kind
Journal of Symbolic Logic | 1981-01-01 | Paper |
| scientific article; zbMATH DE number 3732051 (Why is no real title available?) | 1980-01-01 | Paper |
Calculating self-referential statements
Fundamenta Mathematicae | 1980-01-01 | Paper |
Some rapidly growing functions
The Mathematical Intelligencer | 1980-01-01 | Paper |
Calculating self-referential statements. I: Explicit calculations
Studia Logica | 1979-01-01 | Paper |
| scientific article; zbMATH DE number 3708351 (Why is no real title available?) | 1978-01-01 | Paper |
The axiomatization problem for fragments
Annals of Mathematical Logic | 1978-01-01 | Paper |
Avoiding Self-Referential Statements
Proceedings of the American Mathematical Society | 1978-01-01 | Paper |
On axiomatizing fragments
Journal of Symbolic Logic | 1978-01-01 | Paper |
A note on the number of zeros of polynomials and exponential polynomials
Journal of Symbolic Logic | 1977-01-01 | Paper |
| scientific article; zbMATH DE number 3679820 (Why is no real title available?) | 1977-01-01 | Paper |
Kripke models and the intuitionistic theory of species
Annals of Mathematical Logic | 1976-01-01 | Paper |
| scientific article; zbMATH DE number 3468799 (Why is no real title available?) | 1974-01-01 | Paper |
Elementary intuitionistic theories
Journal of Symbolic Logic | 1973-01-01 | Paper |
