Author: Roever jr.,W.P. de Title: Recursive program schemes: semantics and proof theory.
Description: Mathematisch Centrum Amsterdam 1974 sewed, 116 pp. Dissertation. Perfect copy. (code Sc-39)
Keywords: Semantiek mathematics
Price: EUR 50.00 = appr. US$ 54.34 Seller: Moby Dick
- Book number: 234631
See more books from our catalog:
Science