| Publication | Date of Publication | Type |
|---|
| scientific article; zbMATH DE number 3637765 (Why is no real title available?) | 1979-01-01 | Paper |
Hilbert's Tenth Problem and the Independence of Recursive Difference
Journal of the London Mathematical Society | 1975-01-01 | Paper |
Satisfiability in a larger domain
Notre Dame Journal of Formal Logic | 1974-01-01 | Paper |
3359. Cutting squares from rectangles
The Mathematical Gazette | 1974-01-01 | Paper |
On Limiting the Applications of the Uniqueness Rules in The Equation Calculus
Mathematical Logic Quarterly | 1973-01-01 | Paper |
Thomas Arthur Alan Broadbent
Bulletin of the London Mathematical Society | 1973-01-01 | Paper |
A new proof of completeness
Notre Dame Journal of Formal Logic | 1972-01-01 | Paper |
| scientific article; zbMATH DE number 3356729 (Why is no real title available?) | 1972-01-01 | Paper |
The Fundamental Formula in the Algebra of Sets
The Mathematical Gazette | 1972-01-01 | Paper |
| scientific article; zbMATH DE number 3345431 (Why is no real title available?) | 1970-01-01 | Paper |
Polynomials with computable coefficients
Notre Dame Journal of Formal Logic | 1970-01-01 | Paper |
On Sums of Progressions of Positive Integers
The Mathematical Gazette | 1970-01-01 | Paper |
The Generalized Vandermonde Determinant
The Mathematical Gazette | 1970-01-01 | Paper |
A Generalized Permutation Problem
The Mathematical Gazette | 1970-01-01 | Paper |
| scientific article; zbMATH DE number 3287730 (Why is no real title available?) | 1969-01-01 | Paper |
3210. The discriminant of a certain polynomial
The Mathematical Gazette | 1969-01-01 | Paper |
Empiricism in mathematics
Dialectica | 1969-01-01 | Paper |
Free Variable Axioms for Groups
The Mathematical Gazette | 1968-01-01 | Paper |
| scientific article; zbMATH DE number 3259879 (Why is no real title available?) | 1968-01-01 | Paper |
| scientific article; zbMATH DE number 3259879 (Why is no real title available?) | 1968-01-01 | Paper |
| scientific article; zbMATH DE number 3246292 (Why is no real title available?) | 1967-01-01 | Paper |
A Functional Equation For Implication
The Mathematical Gazette | 1967-01-01 | Paper |
| scientific article; zbMATH DE number 3245487 (Why is no real title available?) | 1967-01-01 | Paper |
| scientific article; zbMATH DE number 3291138 (Why is no real title available?) | 1967-01-01 | Paper |
| scientific article; zbMATH DE number 3223832 (Why is no real title available?) | 1965-01-01 | Paper |
| scientific article; zbMATH DE number 3232731 (Why is no real title available?) | 1965-01-01 | Paper |
| scientific article; zbMATH DE number 3304882 (Why is no real title available?) | 1965-01-01 | Paper |
| scientific article; zbMATH DE number 3265745 (Why is no real title available?) | 1965-01-01 | Paper |
Diophantine Equations in Recursive Difference.
MATHEMATICA SCANDINAVICA | 1964-01-01 | Paper |
| scientific article; zbMATH DE number 3190319 (Why is no real title available?) | 1964-01-01 | Paper |
A Decidable Fragment of Recursive Arithmetic
Mathematical Logic Quarterly | 1963-01-01 | Paper |
| scientific article; zbMATH DE number 3173709 (Why is no real title available?) | 1963-01-01 | Paper |
Polynomial Generators Over Finitely Generated Rings
Journal of the London Mathematical Society | 1963-01-01 | Paper |
| scientific article; zbMATH DE number 3276302 (Why is no real title available?) | 1962-01-01 | Paper |
| scientific article; zbMATH DE number 3171947 (Why is no real title available?) | 1962-01-01 | Paper |
Truth Tables
The Mathematical Gazette | 1962-01-01 | Paper |
Recursive analysis
Studies in Logic and the Foundations of Mathematics | 1961-01-01 | Paper |
Polynomial Generators Over Galois Fields
Journal of the London Mathematical Society | 1961-01-01 | Paper |
On recursive transcendence
Notre Dame Journal of Formal Logic | 1960-01-01 | Paper |
2897. On the equation ax - by = 1
The Mathematical Gazette | 1960-01-01 | Paper |
2917. The general solution in integers of the system of equations: axr - bxr+1 = 1
The Mathematical Gazette | 1960-01-01 | Paper |
On the formalisation of indirect discourse
Journal of Symbolic Logic | 1959-01-01 | Paper |
| scientific article; zbMATH DE number 3144513 (Why is no real title available?) | 1959-01-01 | Paper |
Automorphic Numbers in a General Scale
The Mathematical Gazette | 1959-01-01 | Paper |
ON THE NATURE OF MATHEMATICAL SYSTEMS
Dialectica | 1958-01-01 | Paper |
Models of Propositional Calculi in Recursive Arithmetic.
MATHEMATICA SCANDINAVICA | 1958-01-01 | Paper |
Recursive number theory. A development of recursive arithmetic in a logic-free equation calculus
Studies in Logic and the Foundations of Mathematics | 1957-01-01 | Paper |
| scientific article; zbMATH DE number 3125692 (Why is no real title available?) | 1957-01-01 | Paper |
The Decision Problem
The Mathematical Gazette | 1957-01-01 | Paper |
The Definition of Number
The Mathematical Gazette | 1957-01-01 | Paper |
A constructivist theory of plane curves
Fundamenta Mathematicae | 1956-01-01 | Paper |
A constructivist theory of plane curves
Fundamenta Mathematicae | 1956-01-01 | Paper |
The Arabic Numerals, Numbers and the Definition of Counting
The Mathematical Gazette | 1956-01-01 | Paper |
On non-constructive theorems of analysis and the decision problem
MATHEMATICA SCANDINAVICA | 1955-01-01 | Paper |
The relatively exponential, logarithmic and circular functions in recursive function theory
Acta Mathematica | 1954-01-01 | Paper |
The recursive irrationality of π
Journal of Symbolic Logic | 1954-01-01 | Paper |
Logic-free formalisations of recursive arithmetic
MATHEMATICA SCANDINAVICA | 1954-01-01 | Paper |
| scientific article; zbMATH DE number 3082161 (Why is no real title available?) | 1953-01-01 | Paper |
A problem in recursive function theory
Journal of Symbolic Logic | 1953-01-01 | Paper |
Permutation in recursive arithmetic
MATHEMATICA SCANDINAVICA | 1953-01-01 | Paper |
On the Limit of the Ratio of Sin X to X
The Mathematical Gazette | 1952-01-01 | Paper |
| scientific article; zbMATH DE number 3069866 (Why is no real title available?) | 1951-01-01 | Paper |
| scientific article; zbMATH DE number 3069293 (Why is no real title available?) | 1951-01-01 | Paper |
An Introduction to the Theory of Continuous Groups
The Mathematical Gazette | 1951-01-01 | Paper |
Mean Value Theorems in Recursive Function Theory. Part I. Differential Mean Value Theorems
Proceedings of the London Mathematical Society | 1950-01-01 | Paper |
The Gauss Test for Relative Convergence
American Journal of Mathematics | 1950-01-01 | Paper |
On the Multiplication of Series
The Mathematical Gazette | 1950-01-01 | Paper |
| The Formal Structure of a Denumerable System | 1950-01-01 | Paper |
On the evaluation of Planck's integral
Edinburgh Mathematical Notes | 1949-01-01 | Paper |
Missing Value Theorems
The Mathematical Gazette | 1949-01-01 | Paper |
A necessary and sufficient condition for differentiability
Edinburgh Mathematical Notes | 1949-01-01 | Paper |
| scientific article; zbMATH DE number 3048384 (Why is no real title available?) | 1948-01-01 | Paper |
Proof by reductio ad absurdum
The Mathematical Gazette | 1948-01-01 | Paper |
Transfinite ordinals in recursive number theory
Journal of Symbolic Logic | 1947-01-01 | Paper |
The Convergence of Iterative Processes
Journal of the London Mathematical Society | 1947-01-01 | Paper |
The Strong Convergence of the Exponential Function
Journal of the London Mathematical Society | 1947-01-01 | Paper |
Commutative Involutions
The Mathematical Gazette | 1947-01-01 | Paper |
Some New Theorems on Divisibility
The Mathematical Gazette | 1947-01-01 | Paper |
A Theorem in Uniform Convergence
The Mathematical Gazette | 1946-01-01 | Paper |
Function Theory in an Axiom-Free Equation Calculus
Proceedings of the London Mathematical Society | 1945-01-01 | Paper |
On the restricted ordinal theorem
Journal of Symbolic Logic | 1944-01-01 | Paper |
On von Mises' theory of probability.
Mind. New Series | 1940-01-01 | Paper |
ON VON MISES' THEORY OF PROBABILITY
Mind | 1940-01-01 | Paper |
On Chords of a Conic which touch Another Conic
The Mathematical Gazette | 1940-01-01 | Paper |
Mathematical systems.
Mind. New Series | 1939-01-01 | Paper |
IV.—MATHEMATICAL SYSTEMS
Mind | 1939-01-01 | Paper |
Rational Triangles
The Mathematical Gazette | 1939-01-01 | Paper |
Rational triangles.
The Mathematical Gazette | 1939-01-01 | Paper |
A Class of Diophantine Equations
The Mathematical Gazette | 1938-01-01 | Paper |
A class of diophantine equations.
The Mathematical Gazette | 1938-01-01 | Paper |
Geometry in modern dress.
The Mathematical Gazette | 1938-01-01 | Paper |
