Review: Michael J. Beeson, Computerizing Mathematics: Logic and Computation
J. C. Shepherdson
Source: J. Symbolic Logic Volume 56, Issue 3
(1991), 1090-1091.
Reviewed Works:
Michael J. Beeson, Computerizing Mathematics: Logic and Computation.
Full-text: Remote
access
If you are a member of the ASL,
log in to Euclid
for access.
Full-text is available via JSTOR, for JSTOR subscribers. Go to this article in JSTOR.
Full-text is available via JSTOR, for JSTOR subscribers. Go to this article in JSTOR.
Links and Identifiers
Permanent link to this document: http://projecteuclid.org/euclid.jsl/1183743756
JSTOR: links.jstor.org
Digital Object Identifier: doi:10.2178/jsl/1183743756
