[1] Maslov, S. Yu. Theory of deductive systems and its
applications. With a foreword by Nina B. Maslova. Translated from the
Russian by Michael Gelfond and Vladimir Lifschitz. MIT Press Series in the
Foundations of Computing. MIT Press, Cambridge, MA-London, 1987. xii+151
pp.

[2] Maslov, S. Yu. Teoriya deduktivnykh sistem i ee
primeneniya. (Russian) [The theory of deductive systems and its
applications] With prefaces by D. A. Pospelov and N. B. Maslova.
Kibernetika. [Cybernetics] "Radio i Svyaz", Moscow, 1986. 134 pp.

[3] Davydov, G. V.; Matiyasevich, Yu. V.; Mints, G. E.; Orevkov,
V. P.; Slisenko, A. O.; Sochilina, A. V.; Shanin, N. A. Sergei
Yurevich Maslov (obituary). (Russian) Uspekhi Mat. Nauk 39 (1984),
no. 2(236), 129--30.

[4] Maslov, S. Yu. Deduktivnye sistemy i ikh ekonomicheskie
primeneniya. (Russian) [Deductive systems and their economic applications]
Akad. Nauk SSSR, Nauchn. Sovet po Kompleksnoi Probleme "Kibernetika",
Moscow, 1983. 56 pp.

[5] Chen', Ch.; Li, R. Matematicheskaya logika i
avtomaticheskoe dokazatel'stvo teorem (Russian) [Mathematical
logic and automatic theorem proving] Translated from the English by G. V.
Davydov, G. E. Mints and A. V. Sochilina. Translation edited and with a
preface by S. Yu. Maslov. With appendixes by Maslov, Mints and V. P.
Orevkov. Matematicheskaya Logika i Osnovaniya Matematiki.
[Monographs in Mathematical Logic and Foundations of Mathematics]
``Nauka'', Moscow, 1983. 358 pp.

[6] In memoriam: S. Yu. Maslov. (Russian) Semiotics and
information science, No. 20, 32--34, Akad. Nauk SSSR, Vsesoyuz. Inst.
Nauchn. i Tekhn. Inform., Moscow, 1983.

[7] Maslov, S. Yu. Asymmetry of cognitive mechanisms and its
consequences. (Russian) Semiotics and information science, No. 20, 3--31,
Akad. Nauk SSSR, Vsesoyuz. Inst. Nauchn. i Tekhn. Informatsii, Moscow,
1983.

[8] Katlend, N. Vychislimost'. (Russian)
[Computability] Vvedenie v teoriyu rekursivnykh funktsii. [An
introduction to recursive function theory] Translated from the English by
A. A. Muchnik. Translation edited and with a preface by S. Yu. Maslov.
``Mir'', Moscow, 1983. 256 pp.

[9] Kreisel, Georg Issledovaniya po teorii dokazatel'stv.
(Russian) [Investigations in proof theory] Translated from the
English by Yu. A. Gastev and G. E. Mints. Translation edited by S. Yu.
Maslov. Matematika: Novoe v Zarubezhnoi Nauke [Mathematics:
Recent Publications in Foreign Science], 23. ``Mir'', Moscow, 1981. 289 pp.



[10] Maslov, S. Ju.; Matijasevich, Ju. V.; Minc, G. E.; Orevkov,
V. P.; Slisenko, A. O. Nikolai Aleksandrovich Shanin (on the
occasion of his 60th birthday). (Russian) Uspekhi Mat. Nauk 35 (1980), no.
2(212), 241--245.

[11] Maslov, S. Yu. Deductive systems with thinnings. (Russian)
Logical inference (Moscow, 1974), 128--146, "Nauka", Moscow, 1979.

[12] Maslov, S. Ju. Theory of inference search and questions of
the psychology of creation. (Russian) Semiotics and information science,
No. 13 (Russian), pp. 17--46, Akad. Nauk SSSR, Vsesoyuz. Inst. Nauchn. i
Tekhn. Informatsii, Moscow, 1979.

[13] Maslov, S. Ju. Calculi with monotone deductions and their
economic interpretation. (Russian) Studies in constructive mathematics and
mathematical logic, VIII. Zap. Nauchn. Sem. Leningrad. Otdel. Mat. Inst.
Steklov. (LOMI) 88 (1979), 90--105, 239--240.

[14] Maslov, S. Yu. Information in a calculus and
combinatorial-scan performance. Cybernetics 15 (1979), no. 2, 176--183;
translated from Kibernetika (Kiev) 1979, OVYR no. 2,20--26 (Russian)

[15] Maslov, S. Yu. Macroevolution as deduction process.
Automaton-theoretical foundations of psychology and biology. II. Synthese
39 (1978), no. 3, 417--434.

[16] Maslov, S. Ju.; Norgela, S. A. Herbrand strategies, and the
relation "more deducible than". (Russian) Theoretical applications of the
methods of mathematical logic, II. Zap. Nauchn. Sem. Leningrad.
Otdel. Mat. Inst. Steklov. (LOMI) 68 (1977), 51--61, 144.

[17] Maslov, S. Ju. The relation of absorption on regular sets.
(Russian) Studies in constructive mathematics and mathematical logic, VII.
Zap. Nauchn. Sem. Leningrad. Otdel. Mat. Inst. Steklov. (LOMI)
60 (1976), 65--74, 222--223.

[18] Maslov, S. Ju. The theory of deduction search, and some of
its applications. (Russian) Kibernetika (Kiev) 1975, no. 4, 134--144.

[19] Maslov, S. Ju. Mutation calculi. (Russian) Theoretical
applications of the methods of mathematical logic. I Zap. Nau\v cn. Sem.
Leningrad. Otdel. Mat. Inst. Steklov. (LOMI) 49 (1975), 7--30, 176.

[20] Teoreticheskie primeneniya metodov matematicheskoi
logiki. I. (Russian) [Theoretical applications of the methods of
mathematical logic. I] A collection of articles edited by S. Ju. Maslov and
G. E. Minc. Zap. Nauchn. Sem. Leningrad. Otdel. Mat. Inst.
Steklov. (LOMI) {49} (1975). Izdat. "Nauka" Leningrad. Otdel.,
Leningrad, 1975. 180 pp.

[21] Maslov, S. Ju.; Norgela, S. A. Cut-type rules in calculi of
general form. (Russian) Investigations in constructive mathematics and
mathematical logic. VI (dedicated to A. A. Markov on the occasion of his
70th birthday). Zap. Nauchn. Sem. Leningrad. Otdel. Mat. Inst.
Steklov. (LOMI) 40 (1974), 63--76, 157.

[22] Logical and logico-mathematical calculi. 2. Edited by V. P.
Orevkov. Proceedings of the Steklov Institute of Mathematics, No. 121
(1972). Cover-to-cover translation from the Russian. American Mathematical
Society, Providence, R.I., 1974. v+183 pp.

[23] Maslov, S. Ju. The inverse method, and tactics for
establishing deducibility for a calculus with functional symbols. (Russian)

Logical and logico-mathematical calculi, 2. Trudy Mat. Inst. Steklov. 121
(1972), 14--56, 165.

[24] Maslov, S. Ju.; Orevkov, V. P. Decidable classes that reduce
to a single quantifier class. (Russian) Logical and logico-mathematical
calculi, 2. Trudy Mat. Inst. Steklov. 121 (1972), 57--66, 165.

[25] Maslov, S. Ju. The search for deduction in calculi of
general type. (Russian) Investigations in constructive
mathematics and mathematical logic. V. Zap. Nauchn. Sem.
Leningrad. Otdel. Mat. Inst. Steklov. (LOMI) 32 (1972), 59--65,
156.

[26] Maslov, S. Ju.; Rusakov, E. D. Probabilistic canonical
calculi. (Russian) Investigations in constructive mathematics and
mathematical logic. V. Zap. Nauchcn. Sem. Leningrad. Otdel.
Mat. Inst. Steklov. (LOMI) 32 (1972), 66--76, 155; errata,
ibid. 40 (1974), 161.

[27] Maslov, S. Ju. Errata to the collection: "Logical and
logico-mathematical calculi, 1"(Trudy Mat. Inst. Steklov. {98}
(1968)). (Russian) Logical and logico-mathematical calculi, 2.
(Russian) Trudy Mat. Inst. Steklov. 121 (1972), 167.

[28] Maslov, S. Ju. Search for deduction as a model of a
heuristic process. (Russian) Kibernetika (Kiev) 1972, no. 5,
74--78.

[29] Corrections to the collection: "Investigations in
constructive mathematics and mathematical logic, II and III". (Russian)
Zap. Nauchn. Sem. Leningrad. Otdel. Mat. Inst. Steklov. (LOMI)
20 (1971), 292--294.

[30] Maslov, S. Ju.; Mints, G. E.; Orevkov, V. P. Mechanical
proof-search and the theory of logical deduction in the USSR. Logique et
méthodologie des sciences en U.R.S.S. Rev. Internat. Philos. 25 (1971), no.
4, 575--584.

[31] American Mathematical Society Translations, Series 2. Vol.
98: Five papers on logic and foundations. American Mathematical
Society, Providence, R.I., 1971. iii+288 pp.

[32] Vychislitel'naya tekhnika i voprosy kibernetiki.
Vyp. 8.} (Russian) [Computer technology and questions of cybernetics. No.
8] Edited by M. K. \v Cirkov, S. P. Maslov and Z. I. Car'kova.
Izdat. Leningrad. Univ., Leningrad, 1971. 176 pp.

[33] Studies in constructive mathematics and mathematical logic,
Part III. Edited by A. O. Slisenko. Translated from the Russian by J. S.
Wood. Seminars in Mathematics, V. A. Steklov Mathematical Institute,
Leningrad, Vol. 16. Consultants Bureau, New York-London, 1971. viii+97 pp.

[34] Maslov, S. Ju. Extension of the inverse method to calculus
with an equality. (Russian) Zap. Nauchn. Sem. Leningrad. Otdel.
Mat. Inst. Steklov. (LOMI) 20 (1971), 80--96, 285.

[35] Maslov, S. Ju. The connection between tactics of the inverse
method and the resolution method. (Russian) Zap. Nauchn. Sem.
Leningrad. Otdel. Mat. Inst. Steklov. (LOMI) 16 1969 137--146.

[36] Maslov, S. Ju. Inference-seeking tactics that are based on a
unification of the order of terms in a favorable set. (Russian)
Zap. Nauchn. Sem. Leningrad. Otdel. Mat. Inst. Steklov. (LOMI)
16 1969 126--136.

[37] Davydov, G. V.; Maslov, S. Ju.; Minc, G. E.; Orevkov, V. P.;
Slisenko, A. O. A machine algorithm for estabilshing deducibility on the
basis of the inverse method. (Russian) Zap. Nauchn. Sem.
Leningrad. Otdel. Mat. Inst. Steklov. (LOMI) 16 1969 8--19.

[38] Corrections to the collection "Investigations in
constructive mathematics and mathematical logic, I, II."
(Russian) Zap. Nauchn. Sem. Leningrad. Otdel. Mat. Inst.
Steklov. (LOMI) 8 (1968), inside back cover.

[39] Maslov, S. Ju. An inverse method of establishing
deducibility for logical calculi. (Russian) Trudy Mat. Inst.
Steklov. 98 1968 26--87.

[40] Maslov, S. Ju. An invertible sequential version of the
constructive predicate calculus. (Russian) Zap. Nauchn. Sem.
Leningrad. Otdel. Mat. Inst. Steklov. (LOMI) 4 1967 96--111.

[41] Maslov, S. Ju. The representation of recursively enumerable
sets by local calculi. (Russian) Trudy Mat. Inst. Steklov. 93 1967 43--49.

[42] Maslov, S. Ju. The concept of strict representability in the
general theory of calculi. (Russian) Trudy Mat. Inst. Steklov. 93 1967
3--42.

[43] Maslov, S. Ju. Inverse method of establishing deducibility
for non-prenex formulas of predicate calculus. (Russian) Dokl.
Akad. Nauk SSSR 172 1967 22--25.

[44] Maslov, S. Ju. Application of the inverse method for
establishing deducibility to the theory of decidable fragments in the
classical predicate calculus. Soviet Math. Dokl. 7 1966 1653--1657.

[45] Shanin, N. A.; Davydov, G. V.; Maslov, S. Ju.; Minc, G. E.;
Orevkov, V. P.; Slisenko, A. O. "Algorifm mashinnogo poiska
estestvennogo logicheskogo vyvoda v ischislenii vyskazyvani."
(Russian) [An algorithm for a machine scan of a natural logical deduction
in a propositional calculus] Academy of Sciences of the USSR. V. A. Steklov
Mathematical Institute. Leningrad Department Izdat. ``Nauka'', Moscow 1965
39 pp.

[46] Maslov, S. Ju.; Minc, G. E.; Orevkov, V. P. Insolvability
in the constructive calculus of predicates of certain classes of
formulae containing only one-place predicate variables.
(Russian) Dokl. Akad. Nauk SSSR 163 1965 295--297.

[47] Maslov, S. Ju. On E. L. Post's "tag problem". (Russian)
Trudy Mat. Inst. Steklov. 72 1964 57--68.

[48] Maslov, S. Ju. Certain properties of E. L. Post's apparatus
of canonical calculi. (Russian) Trudy Mat. Inst. Steklov. 72
1964 5--56.

[49] Maslov, S. Ju. An inverse method of establishing
deducibility in the classical predicate calculus. (Russian)
Dokl. Akad. Nauk SSSR 159 1964 17--20.

[50] Maslov, S. Ju. On certain methods of prescribing sets in
generating bases. (Russian) Dokl. Akad. Nauk SSSR 153 1963 266--269.

[51] Maslov, S. Ju. On strict representability of sets by
calculi. (Russian) Dokl. Akad. Nauk SSSR 152 1963 272--274.

[52] Maslov, S. Ju. Transformation of arbitrary canonical calculi
into canonical calculi of special types. (Russian) Dokl. Akad. Nauk SSSR
147 1962 779--782.