A Mathematical Characterization of Explicit Definability.by K. L. de Bouvère
Review by: Abraham RobinsonVolume:
36
Language:
english
Journal:
The Journal of Symbolic Logic
DOI:
10.2307/2272505
Date:
December, 1971
File:
PDF, 106 KB
english, 1971