Recursion theory for metamathematics.

Xehetasun bibliografikoak
Egile nagusia: Smullyan, Raymond M.
Formatua: Printed Book
Hizkuntza:English
Argitaratua: New York: Oxford University Press, 1993.
Gaiak:
Recursion theory.
Deskribapena
Deskribapen fisikoa:xiv, 163p.

Antzeko izenburuak