TY  - BOOK
AU  - Каширин, И. Ю.
AU  - Маликова, Л. В.
AU  - Маркова, В. В.
TI  - Основы формальных систем
SN  - 5-900881-10-5
PY  - 1999///
CY  - М.
PB  - НИЦПрИС
KW  - Математическая логика
KW  - Формальные системы
KW  - Руководства, пособия и т.п. для высшей школы
KW  - nlr-sh1
KW  - RU\NLR\auth\6666005
KW  - Учебные издания для высшей школы
KW  - nlr-sh2
KW  - В123я73-1
N2  - Библиогр.: с. 83 (9 назв.)
ER  -