Countable Vector Spaces with Recursive Operations. Part II

J. C. E. Dekker. Countable Vector Spaces with Recursive Operations. Part II. Journal of Symbolic Logic, 36(3):477-493, 1971.

Publication has no abstract