Reviews
W. P. de RoeverJr., Recursive program schemes: semantics and proof theory. Mathematical Centre tracts, no. 70. Mathematisch Centrum, Amsterdam1976, ix + 112 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 658-659
-
- Article
- Export citation
Other
Meeting of the Association for Symbolic Logic
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 660-664
-
- Article
- Export citation
Association for Symbolic Logic
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 665-666
-
- Article
- Export citation
Institutional Members 1979
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 667-689
-
- Article
- Export citation
Index of Reviews
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 690-694
-
- Article
- Export citation
Notices
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 695-696
-
- Article
- Export citation
Front matter
JSL volume 44 issue 4 Cover and Front matter
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. f1-f2
-
- Article
-
- You have access
- Export citation
Back matter
JSL volume 44 issue 4 Cover and Back matter
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. b1-b9
-
- Article
-
- You have access
- Export citation