Recursion-theoretic hierarchies /
Κύριος συγγραφέας: | Hinman, Peter G. (συγγραφέας.) |
---|---|
Μορφή: | Βιβλίο |
Γλώσσα: | English |
Έκδοση: |
Berlin ; New York :
Springer-Verlag,
1978.
|
Σειρά: | Perspectives in mathematical logic
|
Θέματα: |
Παρόμοια τεκμήρια
-
Recursive analysis /
ανά: Goodstein, R. L. (Reuben Louis)
Έκδοση: (1961) -
Fundamentals of mathematical logic
ανά: Hinman, Peter G.
Έκδοση: (2005) -
Formal systems and recursive functions : proceedings of the eighth logic Colloquium Oxford, July 1963 /
Έκδοση: (1965) -
Logic, sets, and recursion
ανά: Causey, Robert L.
Έκδοση: (2001) -
Recursion theory for metamathematics
ανά: Smullyan, Raymond M.
Έκδοση: (1993)