| Publication | Date of Publication | Type |
|---|
| Are Logic and Mathematics Identical? | 2011-11-04 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3086771 | 2011-03-30 | Paper |
| The Discovery of My Completeness Proofs | 1998-03-12 | Paper |
| In Memoriam: Raphael Mitchel Robinson | 1996-02-01 | Paper |
| Representable cylindric algebras | 1986-01-01 | Paper |
| Cylindric algebras. Part I. With an introductory chapter: General theory of algebras. 2nd printing | 1985-01-01 | Paper |
| Cylindric algebras. Part II | 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 | 1981-01-01 | Paper |
| A Euclidean Construction? | 1978-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3893925 | 1977-01-01 | Paper |
| The Logic of Equality | 1977-01-01 | Paper |
| Relativization of cylindric algebras | 1975-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4091892 | 1975-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4054981 | 1974-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4063140 | 1974-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5681997 | 1973-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5616133 | 1971-01-01 | Paper |
| Mathematical Foundations for Mathematics | 1971-01-01 | Paper |
| Extending Boolean operations | 1970-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5537625 | 1968-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5549024 | 1967-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5330619 | 1964-01-01 | Paper |
| An extension of the Craig-Lyndon interpolation theorem | 1964-01-01 | Paper |
| A theory of prepositional types | 1963-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5525312 | 1963-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3847888 | 1962-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5526939 | 1962-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5731900 | 1962-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5732647 | 1961-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5732648 | 1961-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5557883 | 1960-01-01 | Paper |
| On Mathematical Induction | 1960-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5599163 | 1960-01-01 | Paper |
| A generalization of the concept ofω-completeness | 1957-01-01 | Paper |
| Two concepts from the theory of models | 1956-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3235796 | 1956-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3235798 | 1956-01-01 | Paper |
| On the definition of ‘formal deduction’ | 1956-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3259697 | 1956-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3229408 | 1955-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3259696 | 1955-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5850527 | 1955-01-01 | Paper |
| Boolean representation trough propositional calculus | 1954-01-01 | Paper |
| A generalization of the concept of ω-consistency | 1954-01-01 | Paper |
| Some notes on nominalism | 1953-01-01 | Paper |
| Some Interconnections Between Modern Algebra and Mathematical Logic | 1953-01-01 | Paper |
| Banishing the rule of substitution for functional variables | 1953-01-01 | Paper |
| Completeness in the theory of types | 1950-01-01 | Paper |
| An algebraic characterization of quantifiers | 1950-01-01 | Paper |
| A Problem on Inverse Mapping Systems | 1950-01-01 | Paper |
| The completeness of the first-order functional calculus | 1949-01-01 | Paper |
| Fragments of the propositional calculus | 1949-01-01 | Paper |
