Wordt geladen...

Recursion theory for metamathematics.

Bibliografische gegevens
Hoofdauteur: Smullyan, Raymond M.
Formaat: Printed Book
Taal:English
Gepubliceerd in: New York: Oxford University Press, 1993.
Onderwerpen:
Omschrijving
Fysieke beschrijving:xiv, 163p.