Logical frameworks

Author Statement

Edited by Gerard Huet [and] G. Plotkin

Publication

Cambridge U.P.

Publication Year

1991

Collation

xii, 403P., illus., tables

Notes

Includes bibliographies , ISBN: 0-521-41300-1

Subject

Automatic theorem proving , Logic , Frames (Information theory)

ADDED ENTRIES

Plotkin, Gordon , Huet, Gerard

LC Class

LC Number

390

LC CutterNumber

.L64

Link To Document