| Publication | Date of Publication | Type |
|---|
Are Logic and Mathematics Identical?
Science | 2011-11-04 | Paper |
| scientific article; zbMATH DE number 5872251 (Why is no real title available?) | 2011-03-30 | Paper |
The Discovery of My Completeness Proofs
The Bulletin of Symbolic Logic | 1998-03-12 | Paper |
In Memoriam: Raphael Mitchel Robinson
The Bulletin of Symbolic Logic | 1996-02-01 | Paper |
Representable cylindric algebras
Annals of Pure and Applied Logic | 1986-01-01 | Paper |
Cylindric algebras. Part II
Studies in Logic and the Foundations of Mathematics | 1985-01-01 | Paper |
Cylindric algebras. Part I. With an introductory chapter: General theory of algebras. 2nd printing
Studies in Logic and the Foundations of Mathematics | 1985-01-01 | Paper |
Cylindric set algebras. Cylindric set algebras and related structures. By L. Henkin, J. D. Monk, and A. Tarski. On cylindric-relativized set algebras. By H. Andreka and I. Nemeti
Lecture Notes in Mathematics | 1981-01-01 | Paper |
| A Euclidean Construction? | 1978-01-01 | Paper |
The Logic of Equality
The American Mathematical Monthly | 1977-01-01 | Paper |
| scientific article; zbMATH DE number 3700828 (Why is no real title available?) | 1977-01-01 | Paper |
Relativization of cylindric algebras
Fundamenta Mathematicae | 1975-01-01 | Paper |
| scientific article; zbMATH DE number 3512048 (Why is no real title available?) | 1975-01-01 | Paper |
| scientific article; zbMATH DE number 3480582 (Why is no real title available?) | 1974-01-01 | Paper |
| scientific article; zbMATH DE number 3470346 (Why is no real title available?) | 1974-01-01 | Paper |
| scientific article; zbMATH DE number 3419133 (Why is no real title available?) | 1973-01-01 | Paper |
| scientific article; zbMATH DE number 3339390 (Why is no real title available?) | 1971-01-01 | Paper |
Mathematical Foundations for Mathematics
The American Mathematical Monthly | 1971-01-01 | Paper |
Extending Boolean operations
Pacific Journal of Mathematics | 1970-01-01 | Paper |
| scientific article; zbMATH DE number 3248820 (Why is no real title available?) | 1968-01-01 | Paper |
| scientific article; zbMATH DE number 3248820 (Why is no real title available?) | 1968-01-01 | Paper |
| scientific article; zbMATH DE number 3263218 (Why is no real title available?) | 1967-01-01 | Paper |
An extension of the Craig-Lyndon interpolation theorem
Journal of Symbolic Logic | 1964-01-01 | Paper |
| scientific article; zbMATH DE number 3203806 (Why is no real title available?) | 1964-01-01 | Paper |
A theory of prepositional types
Fundamenta Mathematicae | 1963-01-01 | Paper |
| scientific article; zbMATH DE number 3237794 (Why is no real title available?) | 1963-01-01 | Paper |
| scientific article; zbMATH DE number 3239491 (Why is no real title available?) | 1962-01-01 | Paper |
| scientific article; zbMATH DE number 3195513 (Why is no real title available?) | 1962-01-01 | Paper |
| scientific article; zbMATH DE number 3179168 (Why is no real title available?) | 1962-01-01 | Paper |
| scientific article; zbMATH DE number 3196257 (Why is no real title available?) | 1961-01-01 | Paper |
| scientific article; zbMATH DE number 3196255 (Why is no real title available?) | 1961-01-01 | Paper |
On Mathematical Induction
The American Mathematical Monthly | 1960-01-01 | Paper |
| scientific article; zbMATH DE number 3319540 (Why is no real title available?) | 1960-01-01 | Paper |
| scientific article; zbMATH DE number 3273143 (Why is no real title available?) | 1960-01-01 | Paper |
A generalization of the concept ofω-completeness
Journal of Symbolic Logic | 1957-01-01 | Paper |
On the definition of ‘formal deduction’
Journal of Symbolic Logic | 1956-01-01 | Paper |
Two concepts from the theory of models
Journal of Symbolic Logic | 1956-01-01 | Paper |
| scientific article; zbMATH DE number 3120837 (Why is no real title available?) | 1956-01-01 | Paper |
| scientific article; zbMATH DE number 3120839 (Why is no real title available?) | 1956-01-01 | Paper |
| scientific article; zbMATH DE number 3142900 (Why is no real title available?) | 1956-01-01 | Paper |
| scientific article; zbMATH DE number 3142899 (Why is no real title available?) | 1955-01-01 | Paper |
| scientific article; zbMATH DE number 3115115 (Why is no real title available?) | 1955-01-01 | Paper |
| scientific article; zbMATH DE number 3111916 (Why is no real title available?) | 1955-01-01 | Paper |
A generalization of the concept of ω-consistency
Journal of Symbolic Logic | 1954-01-01 | Paper |
Boolean representation trough propositional calculus
Fundamenta Mathematicae | 1954-01-01 | Paper |
Some notes on nominalism
Journal of Symbolic Logic | 1953-01-01 | Paper |
Banishing the rule of substitution for functional variables
Journal of Symbolic Logic | 1953-01-01 | Paper |
| Some Interconnections Between Modern Algebra and Mathematical Logic | 1953-01-01 | Paper |
Completeness in the theory of types
Journal of Symbolic Logic | 1950-01-01 | Paper |
| A Problem on Inverse Mapping Systems | 1950-01-01 | Paper |
An algebraic characterization of quantifiers
Fundamenta Mathematicae | 1950-01-01 | Paper |
The completeness of the first-order functional calculus
Journal of Symbolic Logic | 1949-01-01 | Paper |
Fragments of the propositional calculus
Journal of Symbolic Logic | 1949-01-01 | Paper |
