- Author: Биркгофф Г.
- Language: Русский
- Year: 1977
- Author: Matthias Scheutz
- Language: English
- Year: 2002
- Author: Ruhul Sarker Hussein A. Abbass Charles Newton
- Language: English
- Year: 2002
- Author: Stephen Levinson
- Language: English
- Year: 2005
- Author: Jan van Leeuwen (ed.)
- Language: English
- Year: 1990
- Author: Giovanni Felici Giovanni Felici Carlo Vercellis
- Language: English
- Year: 2008
![book Математическая логика в программировании [Сборник переводов статей]](/covers/files_170/0/3067a485eb3fa8fee88239c07c3da529.jpg)
- Author: Захарьящев М.В. Янов Ю.И. (ред)
- Language: Русский
- Year: 1991
- Author: Михайлов А.И. (ред.)
- Language: Русский
- Year: 1981