author : Michael J. Beeson

Short works

• Computerizing mathematics: logic and computation. 1988. (In The Universal Turing Machine )