Mathematical logic and computability

Библиографические подробности
Главный автор:	Keisler, H. Jerome
Другие авторы:	Robbin, Joel, Miller, Arnold
Формат:	‌
Язык:	английский
Опубликовано:	New York McGraw-Hill c1996.
Предметы:	Logic, Symbolic and mathematical. Computable functions.