Voir la notice de l'article provenant de la source Math-Net.Ru
@article{DAN_1966_168_3_a5, author = {Yu. Sh. Gurevich}, title = {Solvability problem for a restricted predicate calculus}, journal = {Doklady Akademii Nauk}, pages = {510--511}, publisher = {mathdoc}, volume = {168}, number = {3}, year = {1966}, language = {ru}, url = {http://geodesic.mathdoc.fr/item/DAN_1966_168_3_a5/} }
Yu. Sh. Gurevich. Solvability problem for a restricted predicate calculus. Doklady Akademii Nauk, Tome 168 (1966) no. 3, pp. 510-511. http://geodesic.mathdoc.fr/item/DAN_1966_168_3_a5/