000
00273nam a2200109 4500
008
160616s 000 0
245
_a
Logical foundations of functional programming
100
_a
Huet, G
500
_a
D6,8(B) N03
942
_c
BK
_2
BK5712
080
_a
681.3.06 HUET
999
_c
5712
_d
5712