| Publication | Date of Publication | Type |
|---|
Pairings on Lambda Algebras
Mathematical Logic Quarterly | 1992-06-28 | Paper |
| scientific article; zbMATH DE number 4029870 (Why is no real title available?) | 1987-01-01 | Paper |
Lambda‐Algebras and C‐Monoids
Mathematical Logic Quarterly | 1986-01-01 | Paper |
| scientific article; zbMATH DE number 3928999 (Why is no real title available?) | 1985-01-01 | Paper |
Characterizing categories of algebras
Algebra Universalis | 1984-01-01 | Paper |
ON THE ORDER STRUCTURE OF THE HYPERREAL LINE
Mathematical Logic Quarterly | 1983-01-01 | Paper |
| scientific article; zbMATH DE number 3783003 (Why is no real title available?) | 1983-01-01 | Paper |
| scientific article; zbMATH DE number 3794036 (Why is no real title available?) | 1982-01-01 | Paper |
Calculus is Algebra
The American Mathematical Monthly | 1982-01-01 | Paper |
Complexity bounds on proofs
Journal of Symbolic Logic | 1981-01-01 | Paper |
A Language for Type‐Free Algebra
Mathematical Logic Quarterly | 1978-01-01 | Paper |
| scientific article; zbMATH DE number 3629018 (Why is no real title available?) | 1978-01-01 | Paper |
CONTEXT-FREE ALGEBRAS
Journal of Cybernetics | 1976-01-01 | Paper |
A logical framework for large file information handling
Information Sciences | 1975-01-01 | Paper |
A Semantic Basis for Program Verification
Journal of Cybernetics | 1975-01-01 | Paper |
Categorical languages for algebraic structures
Mathematical Logic Quarterly | 1975-01-01 | Paper |
| scientific article; zbMATH DE number 3412582 (Why is no real title available?) | 1973-01-01 | Paper |
| scientific article; zbMATH DE number 3407891 (Why is no real title available?) | 1972-01-01 | Paper |
Foundations as a branch of mathematics. Comments by Charles Castonguay
Journal of Philosophical Logic | 1972-01-01 | Paper |
Quasiprimitive subcategories
Mathematische Annalen | 1970-01-01 | Paper |
| scientific article; zbMATH DE number 3345545 (Why is no real title available?) | 1970-01-01 | Paper |
| scientific article; zbMATH DE number 3280053 (Why is no real title available?) | 1969-01-01 | Paper |
| scientific article; zbMATH DE number 3304001 (Why is no real title available?) | 1968-01-01 | Paper |
| scientific article; zbMATH DE number 3270618 (Why is no real title available?) | 1968-01-01 | Paper |
Logical truth and logical implication
Journal of Symbolic Logic | 1966-01-01 | Paper |
| scientific article; zbMATH DE number 3218742 (Why is no real title available?) | 1965-01-01 | Paper |
| scientific article; zbMATH DE number 3174476 (Why is no real title available?) | 1963-01-01 | Paper |
