Loading...

Logical environments

Bibliographic Details
Main Author: Huet Gerard
Format: Printed Book
Language:English
Published: Cambridge Cambridge University press 1993
LEADER 00437nam a22001217a 4500
008 140104b xxu||||| |||| 00| 0 eng d
020 |a 0521433126 
050 |a 620.00113 
100 |a Huet Gerard 
245 |a Logical environments  |c Gordon Plotkin 
260 |a Cambridge  |b Cambridge University press  |c 1993 
999 |c 25972  |d 25972 
952 |0 0  |1 0  |2 ddc  |4 0  |6 620_113000000000000_HAU  |7 0  |9 28462  |a ES  |b ES  |d 2014-01-04  |l 0  |o 620.113 HAU  |p ES433  |r 2014-01-04  |w 2014-01-04  |y BK