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.
Θέματα:

Παρόμοια τεκμήρια