Countable Vector Spaces with Recursive Operations. Part I

J. C. E. Dekker. Countable Vector Spaces with Recursive Operations. Part I. Journal of Symbolic Logic, 34(3):363-387, 1969.

Publication has no abstract