Булос, Дж. Вычислимость и логика [Электронный ресурс] / Дж. Булос, Р. Джеффри ; пер. с англ. – Москва : Мир, 1994. – 396 с. : ил.