Computability and logic [electronic resource].
2002
QA9.59 .B66 2002eb
Linked e-resources
Linked Resource
Details
Title
Computability and logic [electronic resource].
Author
Edition
4th ed. / George S. Boolos, John P. Burgess, Richard C. Jeffrey.
ISBN
0511078064 (electronic bk.)
Publication Details
Cambridge ; New York : Cambridge University Press, 2002.
Language
English
Description
1 online resource (xi, 356 p.) : ill.
Item Number
9780511078064 (electronic bk.)
Call Number
QA9.59 .B66 2002eb
Dewey Decimal Classification
511.3
Bibliography, etc. Note
Includes bibliographical references (p. 348) and index.
Access Note
Access limited to authorized users.
Source of Description
Description based on print version record.
Added Author
Available in Other Form
Linked Resources
Record Appears in