TY  - BOOK
AU  - Huet,Gerard
AU  - Plotkin,Gordon
TI  - LOGICAL ENVIRONMENTS
SN  - 0521433126
U1  - 511.3 
PY  - 1993///
PB  - Cambridge Univ. Press, Cambridge
KW  - Logic, Symbolic And Mathematical
N1  - Includes Bibliographical References
ER  -