Computability and logic

Библиографические подробности
Главный автор:	Boolos, George
Другие авторы:	Burgess, John P. 1948-, Jeffrey, Richard C.
Формат:	‌
Язык:	English
Опубликовано:	Cambridge, New York Cambridge University Press 2007.
Редактирование:	5th ed.
Предметы:	Computable functions. Recursive functions. Logic, Symbolic and mathematical.
Online-ссылка:	Table of contents only