Research Catalog
Logic for computer science : foundations of automatic theorem proving
- Title
- Logic for computer science : foundations of automatic theorem proving / Jean H. Gallier.
- Author
- Gallier, Jean H.
- Publication
- New York, NY : Harper & Row, c1986.
Items in the Library & Off-site
Filter by
1 Item
| Status | Format | Access | Call Number | Item Location |
|---|---|---|---|---|
| Text | Request in advance | JSE 87-2841 | Offsite |
Details
- Description
- xv, 511 p. : ill.; 25 cm.
- Series Statement
- Harper & Row computer science and technology series
- Subject
- Note
- Includes indexes.
- Bibliography (note)
- Bibliography: p. 489-493.
- Call Number
- JSE 87-2841
- ISBN
- 0060422254
- LCCN
- 85014071
- OCLC
- 12216897
- NYPG86-B16789
- Author
- Gallier, Jean H.
- Title
- Logic for computer science : foundations of automatic theorem proving / Jean H. Gallier.
- Imprint
- New York, NY : Harper & Row, c1986.
- Series
- Harper & Row computer science and technology series
- Bibliography
- Bibliography: p. 489-493.
- Research Call Number
- JSE 87-2841