Recursive equivalence types and combinatorial functions

Name: Recursive equivalence types and combinatorial functions
Author: John Myhill

by John Myhill · 1 review · 1966

Reviewed by	Journal	Date	Access
J. C. E. Dekker	The Journal of Symbolic Logic	1966-09-02	Restricted

Also by Myhill