Recursion theory for metamathematics

Detalles Bibliográficos
Autor Principal:	Smullyan, Raymond M.
Formato:	Libro
Publicado:	New York Oxford University Press 1993.
Series:	Oxford logic guides 22
Subjects:	Recursion theory.