RecordNumber
:
5016
LC Class
:
QA
LC Number
:
9.59
LC CutterNumber
:
.B66
LC Date
:
1989
Dewey Class
:
511
Dewey Date
:
.3
Author
:
Boolos, George s.
Title
:
Computability and logic
Author Statement
:
George S. Boolos, Richard C. Jeffrey
Edition
:
3rd ed
Publication
:
Cambridge University Press
Publication Year
:
1989
Collation
:
x, 304 p.: ill.; 24 cm
Subject
:
Computable functions,Recursive functions,Logic, Symbolic and Mathematical
ADDED ENTRIES
:
Jeffrey, Richard C
Holding Info.
:
052138026
DocumentNumber
:
23964
Biblography
:
Includes bibliographical references and index
BL
:
BL
Link To Document :
https://library.iut.ac.ir/dL/search/default.aspx?Term=5016&Field=0&DTC=100
All Rights Reserved To Payam Mashregh Company
