Recursion-theoretic hierarchies /

• Main Author: Hinman, Peter G. (συγγραφέας.)
• Format: Book
• Language: English
• Published: Berlin ; New York : Springer-Verlag, 1978.
• Series: Perspectives in mathematical logic
• Subjects: Λογική, Συμβολική και μαθηματική