Research Catalog
Computability theory, semantics, and logic programming
- Title
- Computability theory, semantics, and logic programming / Melvin Fitting.
- Author
- Fitting, Melvin Chris
- Publication
- New York : Oxford University Press ; Oxford [Oxfordshire] : Clarendon Press, 1986.
Items in the Library & Off-site
Filter by
1 Item
| Status | Format | Access | Call Number | Item Location |
|---|---|---|---|---|
| Book/text | Request in advance | JSE 87-1462 | Offsite |
Details
- Description
- xi, 198 p. : ill.; 25 cm.
- Series Statement
- Oxford logic guides ; 13
- Subject
- Bibliography (note)
- Includes bibliographical references and index.
- Call Number
- JSE 87-1462
- ISBN
- 0195036913
- LCCN
- 85005003
- OCLC
- 11842343
- NYPG87-B55051
- Author
- Fitting, Melvin Chris.
- Title
- Computability theory, semantics, and logic programming / Melvin Fitting.
- Imprint
- New York : Oxford University Press ; Oxford [Oxfordshire] : Clarendon Press, 1986.
- Series
- Oxford logic guides ; 13
- Bibliography
- Includes bibliographical references and index.
- Research Call Number
- JSE 87-1462