Каталог библиотеки БГТУ

1. Базы данных
2. Книги
3. Авторы
4. Антимиров, В. М.

Книги. Авторы - Антимиров, В. М.

• Математическая логика в программировании
  Бэкус, Дж., Скотт, Д. С., Хиндли, Дж. Р., Миллер, Д., Гоуд, К. А., Антимиров, В. М., Оппен, Д.
  
  Математическая логика в программировании, [Текст], сборник статей : пер. с англ., под ред.: М. В. Захарьящева, Ю. И. Янова Москва : Мир , 1991 .- 407, [1] с. .- ил.