Клини, С., Гастев, Ю., & Минц, Г. (1973). Математическая логика: Пер. с англ. Мир.

Клини, С.К, Ю.А Гастев, and Г.Е Минц. Математическая логика: Пер. с англ. Москва: Мир, 1973.

Клини, С.К, et al. Математическая логика: Пер. с англ. Мир, 1973.