TY  - BOOK
AU  - Валидов
TI  - Введение в теорию формального вывода программ
PY  - 1999///
CY  - Казань
PB  - Таглимат
KW  - Программы (компьют.)
KW  - RU\NLR\auth\661311565
KW  - Компьютеры персональные - Программное обеспечение
KW  - Математическая логика
KW  - 004.42
KW  - 3
KW  - rus
KW  - 50
KW  - rugasnti
KW  - 32.973.26-018
KW  - rubbk
KW  - З973.2-018
ER  -