![](/img/cover-not-exists.png)
On Recursively Enumerable and Arithmetic Models of Set Theory
Michael O. RabinVolume:
23
Language:
english
Journal:
The Journal of Symbolic Logic
DOI:
10.2307/2964015
Date:
December, 1958
File:
PDF, 268 KB
english, 1958