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). More