Research Catalog
PX, a computational logic
- Title
- PX, a computational logic / Susumu Hayashi, Hiroshi Nakano.
- Author
- Hayashi, Susumu, 1953-
- Publication
- Cambridge, Mass. : MIT Press, c1988.
Items in the Library & Off-site
Filter by
1 Item
| Status | Format | Access | Call Number | Item Location |
|---|---|---|---|---|
| Text | Request in advance | JSE 89-522 | Offsite |
Details
- Additional Authors
- Nakano, Hiroshi.
- Description
- xiv, 200 p.; 24 cm.
- Series Statement
- Foundations of computing
- Subjects
- Note
- Includes index.
- Bibliography (note)
- Bibliography: p. [191]-196.
- Call Number
- JSE 89-522
- ISBN
- 0262081741
- LCCN
- 88002770
- OCLC
- 17506282
- NYPG89-B23531
- Author
- Hayashi, Susumu, 1953-
- Title
- PX, a computational logic / Susumu Hayashi, Hiroshi Nakano.
- Imprint
- Cambridge, Mass. : MIT Press, c1988.
- Series
- Foundations of computing
- Bibliography
- Bibliography: p. [191]-196.
- Added Author
- Nakano, Hiroshi.
- Research Call Number
- JSE 89-522