@article{1182353579, author = {Hintikka, Jaakko}, title = {Truth Definitions, Skolem Functions and Axiomatic Set Theory}, journal = {Bull. Symbolic Logic}, volume = {4}, number = {1}, year = {1998}, pages = { 303-337}, language = {en}, url = {http://dml.mathdoc.fr/item/1182353579} }
Hintikka, Jaakko. Truth Definitions, Skolem Functions and Axiomatic Set Theory. Bull. Symbolic Logic, Tome 4 (1998) no. 1, pp. 303-337. http://gdmltest.u-ga.fr/item/1182353579/