511.3 / L829H
Huet,Gerard
LOGICAL ENVIRONMENTS / .- Cambridge Univ. Press, Cambridge, 1993 .- xiii,338 .
Includes Bibliographical References.
ISBN: 0521433126
Subject Headings:
Logic, Symbolic And Mathematical;
Author Added Entry:
Plotkin,Gordon;
Copy Details:
Acc. No.: A118618, Full Call No.: 511.3 L829H, Item type: Books , Location: COMPACT STORAGE (BASEMENT),
------------------------- --------------------- ------ --------- ------- ------- --------- --------
Huet,Gerard
LOGICAL ENVIRONMENTS / .- Cambridge Univ. Press, Cambridge, 1993 .- xiii,338 .
Includes Bibliographical References.
ISBN: 0521433126
Subject Headings:
Logic, Symbolic And Mathematical;
Author Added Entry:
Plotkin,Gordon;
Copy Details:
Acc. No.: A118618, Full Call No.: 511.3 L829H, Item type: Books , Location: COMPACT STORAGE (BASEMENT),
------------------------- --------------------- ------ --------- ------- ------- --------- --------