Publications & Research
Computer Packages


Wittgenstein's NachlaB: the Bergen Electronic Edition
(Oxford, Oxford University Press, 1999)(with C. Huitfeldt, P. Cripps, F. Hespe, W. Kruger and A. Requate). A set of CD-ROMs containing transcriptions into diplomatic and normalized format of approximately 20,000 pages of manuscript. My contribution was transcription of the mathematical/logical elements in the manuscripts.

Logic Tutor,
a microcomputer-assisted learning package written jointly by Professor F.C.T. Moore and me. The software consists of two core CAL programs, with two supplementary programs, together with a sixty page text, and forms a major part of the teaching of elementary logic at several universities and colleges worldwide.

CHARLES,
a course in computer literacy for schoolchildren produced by a team of four of which I was a member. The material consists of seven programs, a fingerpad (a simple input-output device) a students' glossary and a teachers' manual.

IMPACT (Interactive Multimedia Package for the Advancement of Critical and Creative Thinking). Currently under development, the package, designed to inculcate good habits of critical and creative thinking, is for use by all students entering tertiary education.

'Effective Methods for Logic' (with F.C.T. Moore), Collegiate Microcomputer 11/2 (1984), pp. 141-145. (Equal contributor)