TY  - BOOK
AU  - Huet, Gerard [ed.]
AU  - Plotkin, G. [ed.]
TI  - LOGICAL FRAMEWORKS
SN  - 0521413001
U1  - 511.3 
PY  - 1991///
CY  - Cambridge
PB  - Cambridge Univ. Pr.
KW  - Logic, Symbolic And Mathematical
N1  - Papers Presented At The First Annual Workshop, Held At Sophia-Antipolis, 1990
ER  -