Classical recursion theory :
Odifreddi, Piergiorgio, 1950-
Classical recursion theory : the theory of functions and sets of natural numbers / Piergiorgio Odifreddi. - Amsterdam ; New York : New York, N.Y., USA : North-Holland ; Sole distributors for the USA and Canada, Elsevier Science Pub. Co., 1989-1999. - 2 τ. : εικ. ; 23 εκ. - Studies in logic and the foundations of mathematics 125, 143 . - Studies in logic and the foundations of mathematics 125, 143. .
-- τ. 2. - xvi, 949 σ. - 1999.
Περιλαμβάνει βιβλιογραφικές παραπομπές και ευρετήριο.
0444872957 044450205X
88033481
Θεωρία της επαναλήψεως
Λογική, Συμβολική και μαθηματική
511.3
Classical recursion theory : the theory of functions and sets of natural numbers / Piergiorgio Odifreddi. - Amsterdam ; New York : New York, N.Y., USA : North-Holland ; Sole distributors for the USA and Canada, Elsevier Science Pub. Co., 1989-1999. - 2 τ. : εικ. ; 23 εκ. - Studies in logic and the foundations of mathematics 125, 143 . - Studies in logic and the foundations of mathematics 125, 143. .
-- τ. 2. - xvi, 949 σ. - 1999.
Περιλαμβάνει βιβλιογραφικές παραπομπές και ευρετήριο.
0444872957 044450205X
88033481
Θεωρία της επαναλήψεως
Λογική, Συμβολική και μαθηματική
511.3