A symmetric approach to axiomatizing quantifiers and modalities. Synthese , 60:5--20, 1984.
Apple Writer on the Franklin Ace. Creative Computing , 9:202--204, June 1983.
A generalization of elementary formal systems. Universal Algebra and Applications , volume 9, pages 89--96, Warsaw, Poland, 1982. Banach Center Publications.
Propositional logic using elementary algebra. Mathematics and Computer Education 16:204--207, 1982. Formerly The Matyc Journal .
An axiomatic approach to computers. Theoria , 45:97--113, 1979.
Elementary formal systems for hyperarithmetical relations. Zeitschrift für mathematische Logik und Gründlagen der Mathematik , 24:25--30, 1978.
Non-classical logics and the independence results of set theory. Theoria , 38:133--142, 1972.
Intuitionistic model theory and the Cohen independence proofs. In John Myhill, Akiko Kino, and Richard Vesley, editors, Intuitionism and Proof Theory , Proceedings of the Summer Conference at Buffalo, N.Y. 1968, pages 219--226. North-Holland, 1970.