Classical recursion theory : the theory of functions and sets of natural numbers /

Λεπτομέρειες βιβλιογραφικής εγγραφής
Κύριος συγγραφέας: Odifreddi, Piergiorgio, 1950- (συγγραφέας.)
Μορφή: Βιβλίο
Γλώσσα:English
Έκδοση: Amsterdam ; New York : New York, N.Y., USA : North-Holland ; Sole distributors for the USA and Canada, Elsevier Science Pub. Co., 1989-1999.
Σειρά:Studies in logic and the foundations of mathematics 125, 143.
Θέματα:
Περιγραφή
Περιγραφή τεκμηρίου:-- τ. 2. - xvi, 949 σ. - 1999.
Φυσική περιγραφή:2 τ. : εικ. ; 23 εκ.
Βιβλιογραφία:Περιλαμβάνει βιβλιογραφικές παραπομπές και ευρετήριο.
ISBN:0444872957
044450205X