[1]. Bashmakova I.G., Yushkevich A.P. Origin systems of notations / In book "The encyclopedia of elementary mathematics'', book 1: Arithmetics. Moscow. - L. 1951, ñ. 11 - 74.
[2]. Ostrogradski M.V. Pedagogical heritage: Documents on life and activity. Moscow: Phismathgiz, 1961, 399 ñ.
[3]. van der Waerden B.L. Waking up science. Mathematics of Ancient Egypt, Babylon and Greece. Moscow: GIFML, 1959.
[4]. Bityutskov V.I. Figures / In book The mathematical encyclopaedic dictionary. - Moscow: The Soviet encyclopedia, 1988, p. 626 - 627.
[5]. Nechaev V.I. Notation, numbering / In book The mathematical encyclopedia. - Moscov: The Soviet encyclopedia, 1985, v. 5, p. 314 - 316.
[6]. Archimedes. Compositions. - Moscow: Phismathgiz, 1962.
[7]. Poincare J.H. About a science. - Moscow: Nauka, 1983, 560 p.
[8]. the COMPUTER of the fifth generation: Concepts, problems, prospects / Editor Moto-oka; Translation from English; E.P.Velihov's foreword. - Moscow: Finansy i statistika, 1984, 110 p.
[9]. G.L.Simons. Computer of the fifth generation: computers of 90th years(Original: Towards fifth generation computers): Translation from English. - Moscow.: Finansy i statistika, 1985, 173 p.
[10]. Robinson J. Logic programming - last, present and the future. / In book Logic programming: Translation from English and French - Moscow: Mir, 1988, p. 7 - 26.
[11]. Fuchi K. To computing systems of the fifth generation. / In book Language the Prologue in the fifth generation of the COMPUTER: Translation from English - Moscow: Mir, 1988, p. 7 - 16.
[12]. Lectures of winners of premium of Turing for first twenty years (Original: ACM Turing Award Lectures. The First Twenty Years): Translation from English. - Ìoscow: Mir, 1993, 560 p.
[13]. Cook S.À. Complexity of procedures of a conclusion of theorems. - Cybernetic collection of a new series, vol. 12. - Moscow.: Mir, 1975, p. 5 - 15.
[14] Karp R.Ì. Reducibility of combinational problems. - Cybernetic collection of a new series, vol. 12. - Moscow: Mir, 1975, p. 16 - 38.
[15]. Garey M., Johnson D. Computers and hard-solved problems (Original: Computers and Intractability. A Guide to the Theory of NP-completeness): Translation from English - Moscow: Mir, 1982, 416 p.
[16]. Telpiz M.I. Positional principles of representation of functions
of logic algebra. Preprint. - Academy of sciences of the USSR. Scientific
advice on a complex problem "Cybernetics", Ìoscow: 1984, 76 p, (Russian):
pppfal_84.zip.ps
[17]. Telpiz M.I. Representations of functions of logic algebra. - Cybernetics. Kiev: 1985, N 4, p. 37 - 40, 51.
[18]. Telpiz M.I. Positional operators and transformations in algebra
of logic. Preprint. - Academy of sciences of the USSR. Scientific advice
on a complex problem "Cybernetics"', Moscow: 1985, 60 p, (Russian):
popal_85.zip.ps
[19]. Telpiz M.I. Algebra of positional operators and equivalent transformations. Preprint. - Academy of sciences of the USSR. Scientific advice on a complex problem "Cybernetics", Moscow.: 1988, 64 p.
[20]. Telpiz M.I., Demidchik S.M., Chtcherbanski L.M. Positionality principle in three-value algebra of logic. Preprint. - 1436. Institute of space researches of the Russian Academy of Science, Moscow: 1988, 20 p.
[21]. Telpiz M.I. Positional fundamental symmetric operators and problems of logic recognition. Preprint - 1601. Institute of space researches of the Russian Academy of Science, Moscow: 1989, 72 p.
[22]. Telpiz M.I. Representations of Boolean function. (Russian. English summary). Kibernetika (Kiev), 1985, no 4, ii, 37-40, 51, 134. 06E30 (03G04 94C10): rbf.zip.pdf
[23]. Razborov A.A. P vs. NP or Perebor Problem: look from 90th (Russian),
to appear in the collection mathematical Events of the XXth Century,
http://www.mi.ras.ru/~razborov/phasis.ps
[24]. Razborov A.A. Theoretical Computer Science: a mathematician's
look (Russian),
http://www.mi.ras.ru/~razborov/computerra.ps
[25]. Lebedev A. Modern methods of the digital signature. Computerra ¹ 13 [342], 200, p. 20 - 23.
[26]. Êèíîñèòà Ê., Àñàäà Ê., Êàðàöó Î. Logic designing of the superbig integrated circuits: Translation from Japanese - Moscow: Mir, 1988. - 309 p.
[27]. Kung S. Matrix processors on the superbig integrated circuit (Original: VLSI Array Processors): Translation from English - Moscow: Mir, 1991. - 672 p.
[28]. Logic programming: Translation from English and French. - Moscow.: Mir, 1988. - 368 p.
[29]. Lauriere J.-L. Systems of an artificial intellect (Original: Intelligence Artificielle): Translation from French - Moscow: Mir, 1991. - 568 p.
[30]. Sterling L., Shapiro E. Art of programming in language the Prolog (Original: The art of Prolog): Translation from English - Moscow: Mir, 1990. - 235 p.
[31]. Mathematical methods for DNA sequences. Translation from English / Editor M.S.Waterman - Moscow: Mir, 1999. - 349 p.