-
RecordNumber
12608
-
Author
Boolos, George S
-
Title
Computability and logic
-
Author Statement
George S. Boolos , Richard C. Jeffrey
-
Edition
3rd.ed
-
Publication
Cambridge university
-
Publication Year
[c1989]
-
Collation
x, 304 p.: diagrs, tables
-
Subject
Logic, symbolic and mathematics , Computable functions , Recursive functions
-
ADDED ENTRIES
Jeffrey, Richard C. jt.auth
-
Main Class
511
-
Sub Class
.3
-
Cutter no
B724c
-
Date
1989
-
وارد كنندة اطلاعات
^d//
-
Link To Document :
