عنوان
پدید آورنده
موضوع
رده
QA 9 .6 .O35 1989
QA
9
.
6
.
O35
1989
کتابخانه
محل استقرار
130502
تابستان۱۸
English
)20(
Odifreddi, Piergiorgio
1950-
Classical recursion theory: the theory of functions and sets of natural numbers
Amsterdam
North-Holland
1989-1999
2 v.: ill.; 23 cm
Studies in logic and the foundations of mathematics
v.125, 143
Vol. 2 lacks other title information
"First edition 1999"--v. 2, t.p. verso
Vol. 2 published: Amsterdam ; New York : Elsevier
Includes bibliographical references and index
، Recursion theory
QA
9
.
6
.
O35
1989
AU
Piergiorgio Odifreddi
TI
SE
02
