Research Catalog
A computational logic /
- Title
- A computational logic / by Robert S. Boyer and J. Strother Moore.
- Author
- Boyer, Robert S.
- Publication
- New York : Academic Press, 1979.
Items in the Library & Off-site
Filter by
1 Item
| Status | Format | Access | Call Number | Item Location |
|---|---|---|---|---|
Not available - Please for assistance. | Text | Use in library | QA76.9.A96 B68 | Off-site |
Details
- Additional Authors
- Moore, J. Strother, 1947-
- Description
- xiv, 397 p. : ill.; 24 cm.
- Series Statement
- ACM monograph series
- Subject
- Bibliography (note)
- Includes bibliographical references and index.
- ISBN
- 0121229505
- LCCN
- 79051693
- Owning Institutions
- Princeton University Library