|
| | Лавров, С.
Программирование. Математические основы, средства, теория [Текст] = Математическая логика. Теория множеств. Теория вычислимости. Основные понятия конструкции языков программирования. Анализ свойств программ / С. Лавров. — Санкт-Петербург : BHV-СПб, 2001. — 320. | |
| | ISBN 5-94157-069-4 | |
|
