Research Catalog
Computability and logic
- Title
- Computability and logic / George S. Boolos, Richard C. Jeffrey.
- Author
- Boolos, George.
- Publication
- Cambridge ; New York : Cambridge University Press, 1989.
Items in the Library & Off-site
Filter by
1 Item
| Status | Format | Access | Call Number | Item Location |
|---|---|---|---|---|
| Text | Request in advance | JSE 91-1040 | Offsite |
Details
- Additional Authors
- Jeffrey, Richard C.
- Description
- x, 304 p. : ill.; 23 cm.
- Subject
- Bibliography (note)
- Includes bibliographical references and index.
- Call Number
- JSE 91-1040
- ISBN
- 052138026X
- 0521389232 (pbk.)
- LCCN
- 89032584
- OCLC
- 19589563
- NYPG91-B48459
- Author
- Boolos, George.
- Title
- Computability and logic / George S. Boolos, Richard C. Jeffrey.
- Imprint
- Cambridge ; New York : Cambridge University Press, 1989.
- Edition
- 3rd ed.
- Bibliography
- Includes bibliographical references and index.
- Added Author
- Jeffrey, Richard C.
- Research Call Number
- JSE 91-1040