-
RecordNumber
95497
-
Author
Boolos, George
-
Title
Computability and logic
-
Author Statement
George Boolos, John P. Burgess, Richard C. Jeffrey
-
Edition
4th ed.
-
Publication
Cambridge : Cambridge University
-
Publication Year
c2002
-
Collation
xi, 356 p. : ill.
-
Index
Includes index
-
Bibliography
p. 348
-
Subject
Computable functions , Recursive functions , Logic, Symbolic and mathematical
-
ADDED ENTRIES
AU Burgess, John P., 1948- , AU Jeffrey, Richard C , TI
-
Main Class
511
-
Sub Class
.3
-
Cutter no
B724c
-
Date
2002
-
ISBN
978-0-521-00758-0
-
واردكننده اطلاعات
شيرين السادات خليفه سلطاني
-
Link To Document :
