Recursive number theory. A development of recursive arithmetic in a logic-free equation calculus

by R. L. Goodstein · 1 review · 1958

Reviewed by Journal Date Access
Th. Skolem The Journal of Symbolic Logic 1958 Restricted

Metaphysics & Logic

Also by Goodstein

Search PhilReviews for this title