The problem of reduction for the logic of predicates and
Algebra i logika, Tome 8 (1969) no. 3, pp. 284-308
@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},
year = {1969},
volume = {8},
number = {3},
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/