
- Author: Дуда Р. Харт П.
- Language: Русский
- Year: 1976

- Author: Агафонов В.Н. (ред.)
- Language: Русский
- Year: 1988

- Author: Чери С. Готлоб Г. Танка Л.
- Language: Русский
- Year: 1992

- Author: Джексон Г. (Jackson J.)
- Language: Русский
- Year: 1991
![book Математическая логика в программировании [Сборник переводов статей]](/covers/files_170/0/3067a485eb3fa8fee88239c07c3da529.jpg)
- Author: Захарьящев М.В. Янов Ю.И. (ред)
- Language: Русский
- Year: 1991

- Author: Баяковский Ю.М. (ред.)
- Language: Русский
- Year: 1993