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