-
RecordNumber
96120
-
Author
Boolos, George
-
Title
Computability and logic
-
Author Statement
George Boolos, John P. Burgess, Richard C. Jeffrey
-
Edition
5th ed.
-
Publication
Cambridge : : Cambridge University
-
Publication Year
c2007
-
Collation
xi, 350 p. : ill.
-
Index
Includes index
-
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
2007
-
ISBN
978-0-521-70146-4
-
واردكننده اطلاعات
ربابه صمدي علي نيا
-
Link To Document :
