Recursion theory for metamathematics.

Библиографические подробности
Главный автор: Smullyan, Raymond M.
Формат: Printed Book
Язык:English
Опубликовано: New York: Oxford University Press, 1993.
Предметы:
Recursion theory.
Описание
Объем:xiv, 163p.

Схожие документы