TY  - BOOK
AU  - ÐÐ°ÑÐ²Ð°Ð¹Ñ,ÐÐ¶
TI  - Ð¡Ð¿ÑÐ°Ð²Ð¾ÑÐ½Ð°Ñ ÐºÐ½Ð¸Ð³Ð° Ð¿Ð¾ Ð¼Ð°ÑÐµÐ¼Ð°ÑÐ¸ÑÐµÑÐºÐ¾Ð¹ Ð»Ð¾Ð³Ð¸ÐºÐµ: Ð 4-Ñ ÑÐ°ÑÑÑÑ : ÐÐµÑ. Ñ Ð°Ð½Ð³Ð». 
PY  - 1982///-
CY  - ÐÐ¾ÑÐºÐ²Ð°
PB  - ÐÐ°ÑÐºÐ°. ÐÐ». ÑÐµÐ´. ÑÐ¸Ð·.-Ð¼Ð°Ñ. Ð»Ð¸Ñ.
KW  - ÐÐ¾Ð½ÑÑÑÑÐºÑÐ¸Ð²Ð½Ð°Ñ Ð¼Ð°ÑÐµÐ¼Ð°ÑÐ¸ÐºÐ°
KW  - Ð¢ÐµÐ¾ÑÐ¸Ñ Ð´Ð¾ÐºÐ°Ð·Ð°ÑÐµÐ»ÑÑÑÐ²
KW  - Ð¡Ð¿ÑÐ°Ð²Ð¾ÑÐ½Ð¸ÐºÐ¸
N1  - Ð§. 1 (1982, 392 Ñ., ÑÐ¿Ð¸ÑÐºÐ¸ Ð»Ð¸Ñ Ð² ÐºÐ¾Ð½ÑÐµ Ð³Ð».); Ð¢ÐµÐ¾ÑÐ¸Ñ Ð¼Ð¾Ð´ÐµÐ»ÐµÐ¹; ÐÐµÑ. Ñ Ð°Ð½Ð³Ð». Ð¡.Ð¡. ÐÐ¾Ð½ÑÐ°ÑÐ¾Ð²Ð° Ð¸ Ð´Ñ. ; ÐÐ¾Ð´ ÑÐµÐ´. Ð®.Ð. ÐÑÑÐ¾Ð²Ð° Ð¸ Ð´Ñ; Ð§. 2 (1982, 376 Ñ., ÑÐ¿Ð¸ÑÐºÐ¸ Ð»Ð¸Ñ. Ð² ÐºÐ¾Ð½ÑÐµ Ð³Ð».); Ð¢ÐµÐ¾ÑÐ¸Ñ Ð¼Ð½Ð¾Ð¶ÐµÑÑÐ²; ÐÐµÑ. Ñ Ð°Ð½Ð³Ð». Ð.Ð. ÐÐ°Ð½Ð¾Ð²ÐµÑ ; ÐÐ¾Ð´ ÑÐµÐ´. Ð.Ð. ÐÑÐ¸ÑÐ¸Ð½Ð°; Ð§. 3 (1982, 360 Ñ., ÑÐ¿Ð¸ÑÐºÐ¸ Ð»Ð¸Ñ. Ð² ÐºÐ¾Ð½ÑÐµ Ð³Ð».); Ð¢ÐµÐ¾ÑÐ¸Ñ ÑÐµÐºÑÑÑÐ¸Ð¸; ÐÐµÑ. Ñ Ð°Ð½Ð³Ð». Ð¡.Ð. ÐÐ²Ð¾ÑÐ½Ð¸ÐºÐ¾Ð²Ð°, Ð.Ð. ÐÐ°Ð²ÑÐ¾Ð²Ð° ; ÐÐ¾Ð´ ÑÐµÐ´. Ð®.Ð. ÐÑÑÐ¾Ð²Ð°; Ð§. 4 (1983, 392 Ñ., ÑÐ¿Ð¸ÑÐºÐ¸ Ð»Ð¸Ñ. Ð² ÐºÐ¾Ð½ÑÐµ Ð³Ð».); Ð¢ÐµÐ¾ÑÐ¸Ñ Ð´Ð¾ÐºÐ°Ð·Ð°ÑÐµÐ»ÑÑÑÐ² Ð¸ ÐºÐ¾Ð½ÑÑÑÑÐºÑÐ¸Ð²Ð½Ð°Ñ Ð¼Ð°ÑÐµÐ¼Ð°ÑÐ¸ÐºÐ°; ÐÐµÑ. Ñ Ð°Ð½Ð³Ð». Ð.Ð. ÐÐ°Ð²ÑÐ´Ð¾Ð²Ð° Ð¸ Ð.Ð. ÐÐ¸Ð½ÑÐ°; ÐÑÐ¸Ð³Ð¸Ð½Ð°Ð» Ð½Ð° Ð°Ð½Ð³Ð».; Handbook of Mathematical Logic; J. Barwise (ED.) -; Amsterdam : North-Holland Publishing Company : 1977
ER  -