| Publication | Date of Publication | Type |
|---|
| https://portal.mardi4nfdi.de/entity/Q4198671 | 1979-01-01 | Paper |
| Hilbert's Tenth Problem and the Independence of Recursive Difference | 1975-01-01 | Paper |
| Satisfiability in a larger domain | 1974-01-01 | Paper |
| 3359. Cutting squares from rectangles | 1974-01-01 | Paper |
| On Limiting the Applications of the Uniqueness Rules in The Equation Calculus | 1973-01-01 | Paper |
| Thomas Arthur Alan Broadbent | 1973-01-01 | Paper |
| A new proof of completeness | 1972-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5631076 | 1972-01-01 | Paper |
| The Fundamental Formula in the Algebra of Sets | 1972-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5621358 | 1970-01-01 | Paper |
| Polynomials with computable coefficients | 1970-01-01 | Paper |
| On Sums of Progressions of Positive Integers | 1970-01-01 | Paper |
| The Generalized Vandermonde Determinant | 1970-01-01 | Paper |
| A Generalized Permutation Problem | 1970-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5570930 | 1969-01-01 | Paper |
| 3210. The discriminant of a certain polynomial | 1969-01-01 | Paper |
| Empiricism in mathematics | 1969-01-01 | Paper |
| Free Variable Axioms for Groups | 1968-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5545938 | 1968-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5534264 | 1967-01-01 | Paper |
| A Functional Equation For Implication | 1967-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5532574 | 1967-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5573963 | 1967-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5512321 | 1965-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5520627 | 1965-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5586198 | 1965-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5552163 | 1965-01-01 | Paper |
| Diophantine Equations in Recursive Difference. | 1964-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5726676 | 1964-01-01 | Paper |
| A Decidable Fragment of Recursive Arithmetic | 1963-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3292587 | 1963-01-01 | Paper |
| Polynomial Generators Over Finitely Generated Rings | 1963-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5560814 | 1962-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3290683 | 1962-01-01 | Paper |
| Truth Tables | 1962-01-01 | Paper |
| Recursive analysis | 1961-01-01 | Paper |
| Polynomial Generators Over Galois Fields | 1961-01-01 | Paper |
| On recursive transcendence | 1960-01-01 | Paper |
| 2897. On the equation ax - by = 1 | 1960-01-01 | Paper |
| 2917. The general solution in integers of the system of equations: axr - bxr+1 = 1 | 1960-01-01 | Paper |
| On the formalisation of indirect discourse | 1959-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3261422 | 1959-01-01 | Paper |
| Automorphic Numbers in a General Scale | 1959-01-01 | Paper |
| ON THE NATURE OF MATHEMATICAL SYSTEMS | 1958-01-01 | Paper |
| Models of Propositional Calculi in Recursive Arithmetic. | 1958-01-01 | Paper |
| Recursive number theory. A development of recursive arithmetic in a logic-free equation calculus | 1957-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3241191 | 1957-01-01 | Paper |
| The Decision Problem | 1957-01-01 | Paper |
| The Definition of Number | 1957-01-01 | Paper |
| A constructivist theory of plane curves | 1956-01-01 | Paper |
| The Arabic Numerals, Numbers and the Definition of Counting | 1956-01-01 | Paper |
| On non-constructive theorems of analysis and the decision problem | 1955-01-01 | Paper |
| The relatively exponential, logarithmic and circular functions in recursive function theory | 1954-01-01 | Paper |
| The recursive irrationality of π | 1954-01-01 | Paper |
| Logic-free formalisations of recursive arithmetic | 1954-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5820992 | 1953-01-01 | Paper |
| A problem in recursive function theory | 1953-01-01 | Paper |
| Permutation in recursive arithmetic | 1953-01-01 | Paper |
| On the Limit of the Ratio of Sin X to X | 1952-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5809947 | 1951-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5808407 | 1951-01-01 | Paper |
| An Introduction to the Theory of Continuous Groups | 1951-01-01 | Paper |
| Mean Value Theorems in Recursive Function Theory. Part I. Differential Mean Value Theorems | 1950-01-01 | Paper |
| The Gauss Test for Relative Convergence | 1950-01-01 | Paper |
| On the Multiplication of Series | 1950-01-01 | Paper |
| The Formal Structure of a Denumerable System | 1950-01-01 | Paper |
| On the evaluation of Planck's integral | 1949-01-01 | Paper |
| Missing Value Theorems | 1949-01-01 | Paper |
| A necessary and sufficient condition for differentiability | 1949-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5787622 | 1948-01-01 | Paper |
| Proof by reductio ad absurdum | 1948-01-01 | Paper |
| Transfinite ordinals in recursive number theory | 1947-01-01 | Paper |
| The Convergence of Iterative Processes | 1947-01-01 | Paper |
| The Strong Convergence of the Exponential Function | 1947-01-01 | Paper |
| Commutative Involutions | 1947-01-01 | Paper |
| Some New Theorems on Divisibility | 1947-01-01 | Paper |
| A Theorem in Uniform Convergence | 1946-01-01 | Paper |
| Function Theory in an Axiom-Free Equation Calculus | 1945-01-01 | Paper |
| On the restricted ordinal theorem | 1944-01-01 | Paper |
| On von Mises' theory of probability. | 1940-01-01 | Paper |
| ON VON MISES' THEORY OF PROBABILITY | 1940-01-01 | Paper |
| On Chords of a Conic which touch Another Conic | 1940-01-01 | Paper |
| Mathematical systems. | 1939-01-01 | Paper |
| IV.—MATHEMATICAL SYSTEMS | 1939-01-01 | Paper |
| Rational Triangles | 1939-01-01 | Paper |
| Rational triangles. | 1939-01-01 | Paper |
| A Class of Diophantine Equations | 1938-01-01 | Paper |
| A class of diophantine equations. | 1938-01-01 | Paper |
| Geometry in modern dress. | 1938-01-01 | Paper |
