22.12 С 812 Столл Р. Р. Множества. Логика. Аксиоматические теории / Столл Роберт Р.; под редакцией Ю. А. Шихановича; перевод с английского Ю. А. Гастева, И. Х. Шмаина. - Москва: Просвещение, 1968. - 231 с.: ил. - (Математическое просвещение). - Указ. символов: с. 223. - Указ. терм.: с. 225. - Указ. имен: с. 231. [подробнее]
22.122 Б 907 Булос Дж. Вычислимость и логика / Булос Джордж, Джеффри Ричард; перевод с английского В. А. Душского, Е. Ю. Ногиной; под редакцией С. Н. Артемова. - Москва: Мир, 1994. - 396 с.: ил. - Имен. указ.: с. 388. - Предм. указ.: с. 389. - ISBN 5-03-003067-0. [подробнее]