Research Catalog
The clausal theory of types
- Title
- The clausal theory of types / D.A. Wolfram.
- Author
- Wolfram, D. A.
- Publication
- Cambridge ; New York : Cambridge University Press, 1993.
Items in the Library & Off-site
Filter by
1 Item
| Status | Format | Access | Call Number | Item Location |
|---|---|---|---|---|
| Book/Text | Request in advance | JSF 95-820 | Offsite |
Details
- Description
- viii, 124 p.; 26 cm.
- Series Statement
- Cambridge tracts in theoretical computer science ; 21
- Subject
- Bibliography (note)
- Includes bibliographical references (p. 107-120) and index.
- Call Number
- JSF 95-820
- ISBN
- 0521395380 (hardback)
- LCCN
- 93246461
- OCLC
- 28148402
- Author
- Wolfram, D. A.
- Title
- The clausal theory of types / D.A. Wolfram.
- Imprint
- Cambridge ; New York : Cambridge University Press, 1993.
- Series
- Cambridge tracts in theoretical computer science ; 21
- Bibliography
- Includes bibliographical references (p. 107-120) and index.
- Indexed Term
- Logic programming
- Research Call Number
- JSF 95-820