| Publication | Date of Publication | Type |
|---|
| Highlights of the History of the Lambda-Calculus | 2002-11-25 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4206701 | 1989-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3686981 | 1985-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3740146 | 1984-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3960810 | 1982-01-01 | Paper |
| Majorization Formulas for a Biharmonic Function of Two Variables | 1980-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3942357 | 1980-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3967188 | 1980-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4198969 | 1979-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4189244 | 1978-01-01 | Paper |
| Finite-difference solution of Poisson's equation in rectangles of arbitrary proportions | 1977-01-01 | Paper |
| Effect of discontinuous boundary conditions on finite-difference solutions | 1976-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4131646 | 1976-01-01 | Paper |
| Sharper Bounds for the Chebyshev Functions θ(x) and ψ(x) | 1975-01-01 | Paper |
| Nine-point difference solutions for Poisson's equation | 1975-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4092922 | 1975-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5585752 | 1969-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5611000 | 1969-01-01 | Paper |
| A Runge-Kutta for all Seasons | 1967-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5524373 | 1966-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5339391 | 1963-01-01 | Paper |
| Approximate formulas for some functions of prime numbers | 1962-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5554945 | 1960-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3252783 | 1959-01-01 | Paper |
| Generalization of a lemma of G. F. Rose | 1959-01-01 | Paper |
| Fragments of Many-Valued Statement Calculi | 1958-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3235353 | 1956-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5849024 | 1955-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5847170 | 1955-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5850509 | 1955-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3229401 | 1953-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5822718 | 1953-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5823861 | 1953-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5812189 | 1952-01-01 | Paper |
| The axiom of infinity in Quine's New Foundations | 1952-01-01 | Paper |
| Axiom schemes for m-valued functional calculi of first order. Part II | 1951-01-01 | Paper |
| A note on the deductive completeness of m-valued propositional calculi | 1950-01-01 | Paper |
| Non-standard models for formal logics | 1950-01-01 | Paper |
| Note on Zeros of the Hermite Polynomials and Weights for Gauss' Mechanical Quadrature Formula | 1950-01-01 | Paper |
| Generalized Ternary Continued Fractions | 1950-01-01 | Paper |
| Real roots of Dirichlet 𝐿-series | 1949-01-01 | Paper |
| The complete monotonicity of certain functions derived from completely monotone functions | 1948-01-01 | Paper |
| Axiom schemes for m-valued functional calculi of first order. Part I. Definition of axiom schemes and proof of plausibility | 1948-01-01 | Paper |
| Axiom schemes for m-valued propositions calculi | 1945-01-01 | Paper |
| New sets of postulates for combinatory logics | 1942-01-01 | Paper |
| The Burali-Forti paradox | 1942-01-01 | Paper |
| A generalization of the Euclidean algorithm to several dimensions | 1942-01-01 | Paper |
| A Note on the Linear Diophantine Equation | 1941-01-01 | Paper |
| Explicit Bounds for Some Functions of Prime Numbers | 1941-01-01 | Paper |
| An additional criterion for the first case of Fermat’s last theorem | 1941-01-01 | Paper |
| Explicit bounds for some functions of prime numbers. | 1941-01-01 | Paper |
| On the Many-Valued Logics | 1941-01-01 | Paper |
| The independence of Quine's axioms *200 and *201. | 1941-01-01 | Paper |
| An additional criterion for the first case of Fermat's last theorem. | 1941-01-01 | Paper |
| The independence of Quine's axioms *200 and *201 | 1941-01-01 | Paper |
| A Generalization of the Euclidian Algorithm to Several Dimensions | 1941-01-01 | Paper |
| A new lower bound for the exponent in the first case of Fermat’s last theorem | 1940-01-01 | Paper |
| A new lower bound for the exponent in the first case of Fermat's last theorem. | 1940-01-01 | Paper |
| The algebraic theory of diabolic magic squares | 1939-01-01 | Paper |
| On the consistency of Quine's New foundations for mathematical logic | 1939-01-01 | Paper |
| On the first case of Fermat’s last theorem | 1939-01-01 | Paper |
| An informal exposition of proofs of Gödel's theorems and Church's theorem | 1939-01-01 | Paper |
| An informal exposition of proofs of Gödel's theorems and Church's theorem. | 1939-01-01 | Paper |
| On the consistency of Quine's new foundations for mathematical logic. | 1939-01-01 | Paper |
| Definition by induction in Quine's New foundations for mathematical logic. | 1939-01-01 | Paper |
| The algebraic theory of diabolic magic squares. | 1939-01-01 | Paper |
| Definition by induction in quine's new foundations for mathematical logic | 1939-01-01 | Paper |
| On the first case of Fermat's last theorem. | 1939-01-01 | Paper |
| The n -th Prime is Greater than n logn | 1938-01-01 | Paper |
| On the transformation group for diabolic magic squares of order four | 1938-01-01 | Paper |
| The \(n\)-th prime is greater than \(n \log n\). | 1938-01-01 | Paper |
| On the transformation group for diabolic magic squares of order four. | 1938-01-01 | Paper |
| Gödel Theorems for Non-Constructive Logics | 1937-01-01 | Paper |
| Gödel theorems for nonconstructive logics. | 1937-01-01 | Paper |
| Extensions of some theorems of Gödel and Church | 1936-01-01 | Paper |
| Some Properties of Conversion | 1936-01-01 | Paper |
| Construetibility as a criterion for existence. | 1936-01-01 | Paper |
| Rational proof of the existence of primes in arithmetic sequences. | 1936-01-01 | Paper |
| Gödel theorems for non-constructive logics. | 1936-01-01 | Paper |
| Constructibility as a criterion for existence | 1936-01-01 | Paper |
| Some properties of conversion. | 1936-01-01 | Paper |
| Extensions of some theorems of Gödel and Church. | 1936-01-01 | Paper |
| Extensions of some theorems of Gödel and Church. | 1936-01-01 | Paper |
| A mathematical logic without variables. I | 1935-01-01 | Paper |
| The inconsistency of certain formal logics | 1935-01-01 | Paper |
| A mathematical logic without variables. II | 1935-01-01 | Paper |
| A mathematical logic without variables. I. | 1935-01-01 | Paper |
| A mathematical logic without variables. II. | 1935-01-01 | Paper |
| The inconsistency of certain formal logics. | 1935-01-01 | Paper |
| Some properties of conversion. | 1935-01-01 | Paper |
| The inconsistency of certain formal logics. | 1935-01-01 | Paper |
| A mathematical logic without variables. | 1933-01-01 | Paper |
