| Publication | Date of Publication | Type |
|---|
| Why white horses are not horses and other Chinese puzzles | 2013-06-12 | Paper |
| scientific article; zbMATH DE number 5316128 (Why is no real title available?) | 2008-08-26 | Paper |
| Axioms for action | 2008-03-06 | Paper |
| Von Wright's action revisited: actions as morphisms | 2006-06-26 | Paper |
| scientific article; zbMATH DE number 1453147 (Why is no real title available?) | 2001-03-13 | Paper |
Sequent calculi and decision procedures for weak modal systems
Studia Logica | 2001-02-11 | Paper |
On modules and crossed modules
Journal of Algebra | 1996-10-21 | Paper |
| scientific article; zbMATH DE number 826697 (Why is no real title available?) | 1996-09-23 | Paper |
| scientific article; zbMATH DE number 832082 (Why is no real title available?) | 1996-02-08 | Paper |
| scientific article; zbMATH DE number 832125 (Why is no real title available?) | 1996-02-08 | Paper |
| scientific article; zbMATH DE number 826694 (Why is no real title available?) | 1996-02-04 | Paper |
| scientific article; zbMATH DE number 589746 (Why is no real title available?) | 1994-06-15 | Paper |
Varying modal theories
Notre Dame Journal of Formal Logic | 1990-01-01 | Paper |
Toposes and intuitionistic theories of types
Journal of Pure and Applied Algebra | 1989-01-01 | Paper |
| scientific article; zbMATH DE number 4121997 (Why is no real title available?) | 1989-01-01 | Paper |
| scientific article; zbMATH DE number 4041867 (Why is no real title available?) | 1986-01-01 | Paper |
| scientific article; zbMATH DE number 3999895 (Why is no real title available?) | 1985-01-01 | Paper |
A Non‐Boolean Version of Feferman‐Vaught's Theorem
Mathematical Logic Quarterly | 1985-01-01 | Paper |
| scientific article; zbMATH DE number 3896902 (Why is no real title available?) | 1984-01-01 | Paper |
A note on intuitionistic models of ZF
Notre Dame Journal of Formal Logic | 1983-01-01 | Paper |
| scientific article; zbMATH DE number 3861407 (Why is no real title available?) | 1983-01-01 | Paper |
| scientific article; zbMATH DE number 3762055 (Why is no real title available?) | 1981-01-01 | Paper |
| scientific article; zbMATH DE number 3762055 (Why is no real title available?) | 1981-01-01 | Paper |
| scientific article; zbMATH DE number 3704573 (Why is no real title available?) | 1980-01-01 | Paper |
| scientific article; zbMATH DE number 3706431 (Why is no real title available?) | 1980-01-01 | Paper |
| scientific article; zbMATH DE number 3711941 (Why is no real title available?) | 1980-01-01 | Paper |
Universal classes of Monadic Algebras
Mathematical Logic Quarterly | 1976-01-01 | Paper |
| scientific article; zbMATH DE number 3548968 (Why is no real title available?) | 1976-01-01 | Paper |
| scientific article; zbMATH DE number 3508492 (Why is no real title available?) | 1974-01-01 | Paper |
| scientific article; zbMATH DE number 3525355 (Why is no real title available?) | 1974-01-01 | Paper |
| scientific article; zbMATH DE number 3417754 (Why is no real title available?) | 1973-01-01 | Paper |
| Equations in the Theory of Monadic Algebras | 1972-01-01 | Paper |
| scientific article; zbMATH DE number 3361877 (Why is no real title available?) | 1972-01-01 | Paper |
| scientific article; zbMATH DE number 3290293 (Why is no real title available?) | 1968-01-01 | Paper |
