@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/} }