Recursive program schemes: semantics and proof theory.

Door: Roever jr.,W.P. de

---

• ISBN:
• Uitgever: Mathematisch Centrum Amsterdam 1974 sewed
• Taal:
• Categorie: science
• Details: 116 pp. Dissertation. Perfect copy. (code Sc-39)
• Extra informatie:
• € 50.00