Recursion theory for metamathematics

Bibliographische Detailangaben
1. Verfasser:	Smullyan, Raymond M.
Format:	Buch
Veröffentlicht:	New York Oxford University Press 1993.
Schriftenreihe:	Oxford logic guides 22
Schlagworte:	Recursion theory.