Hard to classify

Elementary!, pp 77-86 in Four Lives, A Celebration of Raymond Smullyan, Jason Rosenhouse editor, Dover Publications, 2014.

A Mistake on My Part, Volume 1, pp 665-659 in We Will Show Them! Essays in honor of Dov Gabbay, Sergei Artemov, Howard Berringer, Artur d'Avila Garcez, Luis Lamb, John Woods editors. College Publications, 2005.

A tribute to Professor Helena Rasiowa. in Logic at Work, v-viii, Ewa Orlowska editor, Physica-Verlag, 1998.

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.

[Go home]