Гастев Ю.А. Гомоморфизмы и модели. Логико-алгебраические аспекты моделирования / Ю. А. Гастев; ред.-сост. Б. В. Бирюков, 2009. - 203 с. - Текст : непосредственный.
Линдон, Роджер К. Заметки по логике / Р. Линдон; перевод с английского Ю. А. Гастева; под редакцией И. М. Яглома, 1968. - 127, [1] с. - Текст : непосредственный.
Карри, Хаскелл Брокс. Основания математической логики / Хаскелл Б. Карри; перевод с английского В. В. Донченко; под редакцией Ю. А. Гастева, 1969. - 567, [1] с. - Текст : непосредственный.