Recursion theory for metamathematics.

Bibliographische Detailangaben
1. Verfasser: Smullyan, Raymond M.
Format: Printed Book
Sprache:English
Veröffentlicht: New York: Oxford University Press, 1993.
Schlagworte:
Recursion theory.
Beschreibung
Beschreibung:xiv, 163p.

Ähnliche Einträge