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: 9780521413008
Price: $95.00
See all items by Gerard HUET, Gordon PLOTKIN