This VIAF Cluster has been deleted. It is no longer part of VIAF.
Smullyan, Raymond M. | Recursion theory for metamathematics
VIAF ID: 308072548 ( Unknown Name Type )
Permalink: http://viaf.org/viaf/308072548
Preferred Forms
Expressions
Author
:
Smullyan, Raymond M.
Language | Title | Expression | Sources |
---|---|---|---|
French | Théorie de la récursivité pour la métamathématique | Ithier :1993 |