Three contributions to recursive function theory

by J. R. Myhill · 1 review · 1955

Metaphysics & Logic

Also by Myhill

• Recursive equivalence types and combinatorial functions (1 review)
• Symposium: On the ontological significance of the Löwenheim-Skolem theorem (1 review)

Search PhilReviews for this title