Recursion theory for metamathematics

Detalles Bibliográficos
Autor principal:	Smullyan, Raymond M.
Formato:	Libro
Publicado:	New York Oxford University Press 1993.
Colección:	Oxford logic guides 22
Materias:	Recursion theory.