TY  - BOOK
AU  - Столбоушкин,А.П.
AU  - Тайцлин,М.А.
TI  - Математические основания информатики
PY  - 1998///
CY  - Тверь
KW  - информатика
KW  - контекстно-свободные языки
KW  - предикаты
KW  - алгоритмы
KW  - регулярные множества
KW  - формальные языки
KW  - рекурсивные функции
KW  - теория модулей
KW  - математическая логика
KW  - теоретическое программирование
ER  -