Oliver Aberth. Computable analysis and differential equations. Intuitionism and proof theory, Proceedings of the summer conference at Buffalo N.Y

by S Mazur · 1 review · 1975

Reviewed by Journal Date Access
R L Goodstein The Journal of Symbolic Logic 1975 Restricted

Metaphysics & Logic

Also by Mazur

Search PhilReviews for this title