Recursion theory for metamathematics.

Bibliografske podrobnosti
Glavni avtor: Smullyan, Raymond M.
Format: Printed Book
Jezik:English
Izdano: New York: Oxford University Press, 1993.
Teme:
Recursion theory.
Opis
Fizični opis:xiv, 163p.

Podobne knjige/članki