A theorem on recursively enumerable vector spaces.
Guhl, RichardVolume:
16
Language:
english
Journal:
Notre Dame Journal of Formal Logic
DOI:
10.1305/ndjfl/1093891795
Date:
July, 1975
File:
PDF, 506 KB
english, 1975