Fixed Points of Type Constructors and Primitive Recursion 1st Edition by Andreas Abel, Ralph Matthes ISBN 9783540301240

Original price was: $50.00.Current price is: $25.00.

Authors:Andreas Abel; Ralph Matthes , Tags:Computer Science Logic , Author sort:Abel, Andreas & Matthes, Ralph , Languages:Languages:eng , Published:Published:Aug 2004