| Publication | Date of Publication | Type |
|---|
| A logical analysis of some value concepts | 2000-08-28 | Paper |
| Correction to a definition of negation | 1984-01-01 | Paper |
| The consistency of system Q | 1981-01-01 | Paper |
| A consistent combinatory logic with an inverse to equality | 1980-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3950537 | 1980-01-01 | Paper |
| A correlation between modal reduction principles and properties of relations | 1973-01-01 | Paper |
| Correction to a paper on modal set theory | 1970-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5559538 | 1969-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5588654 | 1969-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5596200 | 1969-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5569427 | 1969-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5585418 | 1969-01-01 | Paper |
| A note on recursive relations | 1968-01-01 | Paper |
| A complete and consistent modal set theory | 1967-01-01 | Paper |
| The system CΔ of combinatory logic | 1964-01-01 | Paper |
| Algebraic simplification of redundant sequential circuits | 1963-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3846376 | 1959-01-01 | Paper |
| An extensional variety of extended basic logic | 1958-01-01 | Paper |
| A definition of existence in terms of abstraction and disjunction | 1958-01-01 | Paper |
| Recursive functions in basic logic | 1957-01-01 | Paper |
| A definition of negation in extended basic logic | 1954-01-01 | Paper |
| A simplification of basic logic | 1953-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5824363 | 1953-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5815602 | 1952-01-01 | Paper |
| A demonstrably consistent mathematics—Part II | 1951-01-01 | Paper |
| A further consistent extension of basic logic | 1950-01-01 | Paper |
| A demonstrably consistent mathematics—Part I | 1950-01-01 | Paper |
| The Heine-Borel theorem in extended basic logic | 1949-01-01 | Paper |
| On natural numbers, integers, and rationals | 1949-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5793835 | 1948-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5791647 | 1948-01-01 | Paper |
| An extension of basic logic | 1948-01-01 | Paper |
| Corrections to two papers on modal logic | 1948-01-01 | Paper |
| Representations of calculi | 1944-01-01 | Paper |
| A minimum calculus for logic | 1944-01-01 | Paper |
| A basic logic | 1942-01-01 | Paper |
| Ciosure and Quine's *101. | 1941-01-01 | Paper |
| Closure and Quine's *101 | 1941-01-01 | Paper |
| Mathematico-deductive theory of rote learning. A study in scientific methodology. | 1940-01-01 | Paper |
| The hypothesis that infinite classes are similar. | 1939-01-01 | Paper |
| Note on modal functions | 1939-01-01 | Paper |
| The hypothesis that infinite classes are similar | 1939-01-01 | Paper |
| The consistency of the ramified principia. | 1938-01-01 | Paper |
| The consistency of the ramified Principia | 1938-01-01 | Paper |
| Modal functions in twovalued logic. | 1937-01-01 | Paper |
| Modal functions in two-valued logic | 1937-01-01 | Paper |
| A system of formal logic without an analogue to the curry W operator | 1936-01-01 | Paper |
| A formal theory of types. | 1936-01-01 | Paper |
| A system of formal logic without an analogue to the Curry \(W\) operator. | 1936-01-01 | Paper |
| Note on Leo Abraham's ``Transformations of strict implication. | 1933-01-01 | Paper |
