Research Catalog
Recursive program schemes : semantics and proof theory / W. P. de Roever, Jr.
- Title
- Recursive program schemes : semantics and proof theory / W. P. de Roever, Jr.
- Author
- Roever, W.-P. de, 1943-
- Publication
- Amsterdam : Mathematisch Centrum, 1976.
Items in the Library & Off-site
Filter by
1 Item
| Status | Format | Access | Call Number | Item Location |
|---|---|---|---|---|
| Text | Request in advance | JSE 78-1183 | Offsite |
Details
- Description
- ix, 112 p.; 24 cm.
- Series Statement
- Amsterdam. Mathematisch Centrum. Mathematical Centre tracts, \70
- Uniform Title
- Mathematical Centre tracts ; \70.
- Subjects
- Bibliography (note)
- Bibliography: p. 108-112.
- Call Number
- JSE 78-1183
- ISBN
- 9061961270
- LCCN
- 77363645
- OCLC
- 2462715
- NYPG784565320-B
- Author
- Roever, W.-P. de, 1943-
- Title
- Recursive program schemes : semantics and proof theory / W. P. de Roever, Jr.
- Imprint
- Amsterdam : Mathematisch Centrum, 1976.
- Series
- Amsterdam. Mathematisch Centrum. Mathematical Centre tracts, \70Mathematical Centre tracts ; \70.
- Bibliography
- Bibliography: p. 108-112.
- Research Call Number
- JSE 78-1183