Computerizing mathematics: logic and computation

Name: Computerizing mathematics: logic and computation
Author: Michael J. Beeson

by Michael J. Beeson · 2 reviews · 1991

Reviewed by	Journal	Date	Access
J. C. Shepherdson	The Journal of Symbolic Logic	1991	Restricted
J. C. Shepherdson	The Journal of Symbolic Logic	1991	Restricted

Also by Beeson