
 Kossovski N. Foundations of elementary algorithm theory. Leningrad,
Leningrad State University, 1987. 153 p. (in Russian)
 Babaev I.O., Gerasimov M.A., Kossovski N.K., Solovjov I.P. Intellectual
Programming. Turbo Prolog and Refal5 for personal computers. St.Petersburg
State University, St. Petersburg, 1992. 167 p. (in Russian).
 Kossovski N.K. Level logics. // Notices of scientific seminars of St.
Petersburg branch of mathematical institute of Russian Academy of Sciences. V.
220. St.Petersburg, "Nauka", 1995. P. 7281. (in Russian).
 Kossovski N.K. Complexity of Rational Level Sublogics Decidability. //
Abstracts of Papers NSL'95. Second Workshop on NonStandard Logics and Logical
Aspects of Computer Science. Irkutsk, Russia,1995. P. 46  47.
This is a
translation from Russian of the paper
 Kossovski N.K. Deduction Algorithms on Rational Level Logic. // Abstracts
of the Second International Conference "Mathematical Algorithms". Nizhny
Novgorod, Russia, 1995. P. 28  29.
This is the text
of the paper
 Kossovsky N., Solovjov I. Some recursive specifications for simulation
clarity. // International Workshop on Mathematical Meyhods and Tools in
Computer simulation. Preprint MM9401. St.Petersburg State University, St.
Petersburg, 1994. P. 82  85.
 Kossovski N., Tishkov A. Decision Complexity of Linear Rational Level
Logic. // ASL, Logic Colloquium 95, Haifa, Israel, 1995. P. PROOF67.
 Dmitrieva M.V., Kossovskaya T.M., Kossovski N.K., Kostin V.A., Solovjov
I.P., Fitialoff S.Y. Control of the Search AI Problems. // Abstracts of the
International Conference "Mathematics. Computer. Education." Moscow, 1995.
P.70.
 Kossovsky N.K., Solovjov I.P. Fsnbacktracking with functionpatterns. //
Publ. Math. Debrecen. 48/34 (1996), 339348.
 Kossovski N.K., Tishkov A.V. Logical theory of Post Logic with linear
order. TR9811, Department of Informatics University Paris12. 9p.
 Kossovski N.K., Tishkov A.V. Mathematical reasoning for fuzzy
propositions. // Proc. of International Conference on informatics and control,
v.2, St.Petersburg, 1997, 522529.
 Kossovski N.K. Lower Bounds of Combinational Complexity for Exponential
Search Ruduction.  Amer. Math. Transl. (2) Vol.178,1996.
 Kossovski N.K., Tishkov A.V. Logical theory of Post logic with linear
order. // Technical Report TR9711. Department of Informatics University
Paris12. Paris, 1997, 9 pp.
 Kossovski N.K., A.V.Tishkov. Mathematical reasoning for fuzzy
propositions.  Proc.Int.Conf.on Informatics and Control.
v.2,St.Petersburg,1997. P. 522529.
 Kossovski N.K., Tishkov A. Decision algorithm of quantifierfree theory of
mixed superlinear inequalities.  .Intern. Conf. Computer Algebra in
Scientific Computing. Ext.abstracts. St.Pb, 1998. P. 8184.
 Kossovski N. Decidability complexity of quantifierfree negationless
theory of the field of rational numbers. // First St.Petersburg Days of Logic
and Computability. Abstracts. St.Petersburg, 1999. P. 26.
 Kossovski N.K., Tishkov A.V., Iaroslavski V.V. The propositional Nagent
logic. // Proc. of the 1st Internaional Workshop of Central and Eastern
Europe on MultiAgent Systems. CEEMAS'99. June 14, 1999, St.Petersburg,
Russia. Pp. 331333.
 Kossovski N. Sequentcalculus for generalization of Getmanova's logic to
the predicates. // The Bulletin of Symbolic Logic. V.1, Num.2, June 1995. P.
245.
 Beauquier D., Kossovski N., Smirnova E. An algorithm for solvability
testing of elementary linear inequalities systems.// Abstracts of the 6th IMACS
International IMACS Conference on Applications of Computer Algebra.
St.Petersburg, 2000. P. 5961.

