@article{1183742320,
author = {Turchin, Valentin F.},
title = {A Constructive Interpretation of the Full Set Theory},
journal = {J. Symbolic Logic},
volume = {52},
number = {1},
year = {1987},
pages = { 172-201},
language = {en},
url = {http://dml.mathdoc.fr/item/1183742320}
}
Turchin, Valentin F. A Constructive Interpretation of the Full Set Theory. J. Symbolic Logic, Tome 52 (1987) no. 1, pp. 172-201. http://gdmltest.u-ga.fr/item/1183742320/