Recursion theory for metamathematics.

Detalhes bibliográficos
Autor principal: Smullyan, Raymond M.
Formato: Printed Book
Idioma:English
Publicado em: New York: Oxford University Press, 1993.
Assuntos:
Recursion theory.
Descrição
Descrição Física:xiv, 163p.

Registos relacionados