RecordNumber :
45976
LC Class :
QA
LC Number :
9.6
LC CutterNumber :
.O35
LC Date :
1989
Author :
Odifreddi, Piergiorgio,1950-
Title :

Classical recursion theory

Author Statement :
Piergiorgio Odifreddi
Publication :
North-Holland
Publication Year :
1989-
Collation :
2 v. : ill. ; 23 cm
Series :
Studies in logic and the foundations of mathematics
Subject :
Recursion theory
ADDED ENTRIES :
,
DocumentNumber :
55005
SubTitle :
the theory of functions and sets of natural numbers
Index :
Includes bibliographical references and indexes
Link To Document :

بازگشت