| Publication | Date of Publication | Type |
|---|
Highlights of the History of the Lambda-Calculus
IEEE Annals of the History of Computing | 2002-11-25 | Paper |
| scientific article; zbMATH DE number 4127164 (Why is no real title available?) | 1989-01-01 | Paper |
| scientific article; zbMATH DE number 3908808 (Why is no real title available?) | 1985-01-01 | Paper |
| scientific article; zbMATH DE number 3974195 (Why is no real title available?) | 1984-01-01 | Paper |
| scientific article; zbMATH DE number 3781121 (Why is no real title available?) | 1982-01-01 | Paper |
Majorization Formulas for a Biharmonic Function of Two Variables
SIAM Journal on Numerical Analysis | 1980-01-01 | Paper |
| scientific article; zbMATH DE number 3759504 (Why is no real title available?) | 1980-01-01 | Paper |
| scientific article; zbMATH DE number 3789994 (Why is no real title available?) | 1980-01-01 | Paper |
| scientific article; zbMATH DE number 3638169 (Why is no real title available?) | 1979-01-01 | Paper |
| scientific article; zbMATH DE number 3627123 (Why is no real title available?) | 1978-01-01 | Paper |
Finite-difference solution of Poisson's equation in rectangles of arbitrary proportions
ZAMP. Zeitschrift für angewandte Mathematik und Physik | 1977-01-01 | Paper |
Effect of discontinuous boundary conditions on finite-difference solutions
ZAMP. Zeitschrift für angewandte Mathematik und Physik | 1976-01-01 | Paper |
| scientific article; zbMATH DE number 3560735 (Why is no real title available?) | 1976-01-01 | Paper |
Sharper Bounds for the Chebyshev Functions θ(x) and ψ(x)
Mathematics of Computation | 1975-01-01 | Paper |
Nine-point difference solutions for Poisson's equation
Computers & Mathematics with Applications | 1975-01-01 | Paper |
| scientific article; zbMATH DE number 3513281 (Why is no real title available?) | 1975-01-01 | Paper |
| scientific article; zbMATH DE number 3304440 (Why is no real title available?) | 1969-01-01 | Paper |
| scientific article; zbMATH DE number 3333275 (Why is no real title available?) | 1969-01-01 | Paper |
A Runge-Kutta for all Seasons
SIAM Review | 1967-01-01 | Paper |
| scientific article; zbMATH DE number 3236822 (Why is no real title available?) | 1966-01-01 | Paper |
| scientific article; zbMATH DE number 3212126 (Why is no real title available?) | 1963-01-01 | Paper |
Approximate formulas for some functions of prime numbers
Illinois Journal of Mathematics | 1962-01-01 | Paper |
| scientific article; zbMATH DE number 3269850 (Why is no real title available?) | 1960-01-01 | Paper |
| scientific article; zbMATH DE number 3138330 (Why is no real title available?) | 1959-01-01 | Paper |
Generalization of a lemma of G. F. Rose
Journal of Symbolic Logic | 1959-01-01 | Paper |
| Fragments of Many-Valued Statement Calculi | 1958-01-01 | Paper |
| scientific article; zbMATH DE number 3122426 (Why is no real title available?) | 1956-01-01 | Paper |
| scientific article; zbMATH DE number 3110343 (Why is no real title available?) | 1955-01-01 | Paper |
| scientific article; zbMATH DE number 3108373 (Why is no real title available?) | 1955-01-01 | Paper |
| scientific article; zbMATH DE number 3111898 (Why is no real title available?) | 1955-01-01 | Paper |
| scientific article; zbMATH DE number 3115104 (Why is no real title available?) | 1953-01-01 | Paper |
| scientific article; zbMATH DE number 3083845 (Why is no real title available?) | 1953-01-01 | Paper |
| scientific article; zbMATH DE number 3083008 (Why is no real title available?) | 1953-01-01 | Paper |
| scientific article; zbMATH DE number 3073052 (Why is no real title available?) | 1952-01-01 | Paper |
The axiom of infinity in Quine's New Foundations
Journal of Symbolic Logic | 1952-01-01 | Paper |
Axiom schemes for m-valued functional calculi of first order. Part II
Journal of Symbolic Logic | 1951-01-01 | Paper |
A note on the deductive completeness of m-valued propositional calculi
Journal of Symbolic Logic | 1950-01-01 | Paper |
Non-standard models for formal logics
Journal of Symbolic Logic | 1950-01-01 | Paper |
Note on Zeros of the Hermite Polynomials and Weights for Gauss' Mechanical Quadrature Formula
Proceedings of the American Mathematical Society | 1950-01-01 | Paper |
| Generalized Ternary Continued Fractions | 1950-01-01 | Paper |
Real roots of Dirichlet 𝐿-series
Bulletin of the American Mathematical Society | 1949-01-01 | Paper |
The complete monotonicity of certain functions derived from completely monotone functions
Duke Mathematical Journal | 1948-01-01 | Paper |
Axiom schemes for m-valued functional calculi of first order. Part I. Definition of axiom schemes and proof of plausibility
Journal of Symbolic Logic | 1948-01-01 | Paper |
Axiom schemes for m-valued propositions calculi
Journal of Symbolic Logic | 1945-01-01 | Paper |
New sets of postulates for combinatory logics
Journal of Symbolic Logic | 1942-01-01 | Paper |
The Burali-Forti paradox
Journal of Symbolic Logic | 1942-01-01 | Paper |
A generalization of the Euclidean algorithm to several dimensions
Duke Mathematical Journal | 1942-01-01 | Paper |
| A Note on the Linear Diophantine Equation | 1941-01-01 | Paper |
Explicit Bounds for Some Functions of Prime Numbers
American Journal of Mathematics | 1941-01-01 | Paper |
An additional criterion for the first case of Fermat’s last theorem
Bulletin of the American Mathematical Society | 1941-01-01 | Paper |
Explicit bounds for some functions of prime numbers.
American Journal of Mathematics | 1941-01-01 | Paper |
On the Many-Valued Logics
American Journal of Physics | 1941-01-01 | Paper |
The independence of Quine's axioms *200 and *201.
Journal of Symbolic Logic | 1941-01-01 | Paper |
An additional criterion for the first case of Fermat's last theorem.
Bulletin of the American Mathematical Society | 1941-01-01 | Paper |
The independence of Quine's axioms *200 and *201
Journal of Symbolic Logic | 1941-01-01 | Paper |
A Generalization of the Euclidian Algorithm to Several Dimensions
Proceedings of the National Academy of Sciences | 1941-01-01 | Paper |
A new lower bound for the exponent in the first case of Fermat’s last theorem
Bulletin of the American Mathematical Society | 1940-01-01 | Paper |
A new lower bound for the exponent in the first case of Fermat's last theorem.
Bulletin of the American Mathematical Society | 1940-01-01 | Paper |
The algebraic theory of diabolic magic squares
Duke Mathematical Journal | 1939-01-01 | Paper |
On the consistency of Quine's New foundations for mathematical logic
Journal of Symbolic Logic | 1939-01-01 | Paper |
On the first case of Fermat’s last theorem
Bulletin of the American Mathematical Society | 1939-01-01 | Paper |
An informal exposition of proofs of Gödel's theorems and Church's theorem
Journal of Symbolic Logic | 1939-01-01 | Paper |
An informal exposition of proofs of Gödel's theorems and Church's theorem.
Journal of Symbolic Logic | 1939-01-01 | Paper |
On the consistency of Quine's new foundations for mathematical logic.
Journal of Symbolic Logic | 1939-01-01 | Paper |
Definition by induction in Quine's New foundations for mathematical logic.
Journal of Symbolic Logic | 1939-01-01 | Paper |
The algebraic theory of diabolic magic squares.
Duke Mathematical Journal | 1939-01-01 | Paper |
Definition by induction in quine's new foundations for mathematical logic
Journal of Symbolic Logic | 1939-01-01 | Paper |
On the first case of Fermat's last theorem.
Bulletin of the American Mathematical Society | 1939-01-01 | Paper |
The n -th Prime is Greater than n logn
Proceedings of the London Mathematical Society | 1938-01-01 | Paper |
On the transformation group for diabolic magic squares of order four
Bulletin of the American Mathematical Society | 1938-01-01 | Paper |
The \(n\)-th prime is greater than \(n \log n\).
Proceedings of the London Mathematical Society. Second Series | 1938-01-01 | Paper |
On the transformation group for diabolic magic squares of order four.
Bulletin of the American Mathematical Society | 1938-01-01 | Paper |
Gödel Theorems for Non-Constructive Logics
Journal of Symbolic Logic | 1937-01-01 | Paper |
Gödel theorems for nonconstructive logics.
Journal of Symbolic Logic | 1937-01-01 | Paper |
Extensions of some theorems of Gödel and Church
Journal of Symbolic Logic | 1936-01-01 | Paper |
| Some Properties of Conversion | 1936-01-01 | Paper |
Construetibility as a criterion for existence.
Journal of Symbolic Logic | 1936-01-01 | Paper |
Rational proof of the existence of primes in arithmetic sequences.
Bulletin of the American Mathematical Society | 1936-01-01 | Paper |
Gödel theorems for non-constructive logics.
Bulletin of the American Mathematical Society | 1936-01-01 | Paper |
Constructibility as a criterion for existence
Journal of Symbolic Logic | 1936-01-01 | Paper |
Some properties of conversion.
Transactions of the American Mathematical Society | 1936-01-01 | Paper |
Extensions of some theorems of Gödel and Church.
Bulletin of the American Mathematical Society | 1936-01-01 | Paper |
Extensions of some theorems of Gödel and Church.
Journal of Symbolic Logic | 1936-01-01 | Paper |
A mathematical logic without variables. I
Annals of Mathematics. Second Series | 1935-01-01 | Paper |
The inconsistency of certain formal logics
Annals of Mathematics. Second Series | 1935-01-01 | Paper |
A mathematical logic without variables. II
Duke Mathematical Journal | 1935-01-01 | Paper |
A mathematical logic without variables. I.
Annals of Mathematics. Second Series | 1935-01-01 | Paper |
A mathematical logic without variables. II.
Duke Mathematical Journal | 1935-01-01 | Paper |
The inconsistency of certain formal logics.
Annals of Mathematics. Second Series | 1935-01-01 | Paper |
Some properties of conversion.
Bulletin of the American Mathematical Society | 1935-01-01 | Paper |
The inconsistency of certain formal logics.
Bulletin of the American Mathematical Society | 1935-01-01 | Paper |
A mathematical logic without variables.
Bulletin of the American Mathematical Society | 1933-01-01 | Paper |
