- Author: Оллонгрен А.
- Language: Русский
- Year: 1977
![book Математическая логика в программировании [Сборник переводов статей]](/covers/files_170/68000/d1b2227d723d2cb53fe5c143287f7271-g.jpg)
- Author: Захарьящев М.В. Янов Ю.И. (ред)
- Language: Русский
- Year: 1991
- Author: Берри Р. Микинз Б.
- Language: Русский
- Year: 1988
- Author: Йенсен К. Вирт Н.
- Language: Русский
- Year: 1989
- Author: Дал У. Дейкстра Э. Хоор К.
- Language: Русский
- Year: 1975