Voir la notice de l'article provenant de la source Math-Net.Ru
@article{AL_1969_8_3_a1, author = {Yu. Sh. Gurevich}, title = {The problem of reduction for the logic of predicates and}, journal = {Algebra i logika}, pages = {284--308}, publisher = {mathdoc}, volume = {8}, number = {3}, year = {1969}, language = {ru}, url = {http://geodesic.mathdoc.fr/item/AL_1969_8_3_a1/} }
Yu. Sh. Gurevich. The problem of reduction for the logic of predicates and. Algebra i logika, Tome 8 (1969) no. 3, pp. 284-308. http://geodesic.mathdoc.fr/item/AL_1969_8_3_a1/