Logical Frameworks. Gerard HUET, Gordon PLOTKIN.

Logical Frameworks.

Cambridge: Cambridge University Press, 1991. Hardcover. Octavo. xii + 404pp. Glossy boards. Tables, bibliographies. Hint of fading spine, tiniest dint at bottom of spine, otherwise a tight, clean near-Fine copy (no dust jacket). Item #30117
ISBN: 0521413001

Price: $95.00

See all items by ,