Recursion theory for metamathematics.

Detalles Bibliográficos
Autor principal: Smullyan, Raymond M.
Formato: Printed Book
Lenguaje:English
Publicado: New York: Oxford University Press, 1993.
Materias:
Recursion theory.
Descripción
Descripción Física:xiv, 163p.

Ejemplares similares