Research Catalog
A computational logic
- Title
- A computational logic / Robert S. Boyer and J. Strother Moore.
- Author
- Boyer, Robert S.
- Publication
- New York : Academic Press, c1979.
Items in the Library & Off-site
Filter by
1 Item
| Status | Format | Access | Call Number | Item Location |
|---|---|---|---|---|
| Text | Request in advance | JSE 80-973 | Offsite |
Details
- Additional Authors
- Moore, J Strother, 1947-
- Description
- xiv, 397 p.; 24 cm.
- Series Statement
- ACM monograph series.
- Subject
- Note
- Includes index.
- Bibliography (note)
- Bibliography: p. 385-387.
- Call Number
- JSE 80-973
- ISBN
- 0121229505
- LCCN
- 79051693
- OCLC
- 5196669
- NYPG804627795-B
- Author
- Boyer, Robert S.
- Title
- A computational logic / Robert S. Boyer and J. Strother Moore.
- Imprint
- New York : Academic Press, c1979.
- Series
- ACM monograph series.
- Bibliography
- Bibliography: p. 385-387.
- Added Author
- Moore, J Strother, 1947-
- Research Call Number
- JSE 80-973