Recursion theory for metamathematics

Détails bibliographiques
Auteur principal:	Smullyan, Raymond M.
Format:	Livre
Publié:	New York Oxford University Press 1993.
Collection:	Oxford logic guides 22
Sujets:	Recursion theory.