TY  - BOOK
AU  - Huet, G.
TI  - Logical Foundations of functional Programming
SN  - 0201172348
PY  - 1990///
CY  - New York
PB  - Addison-Wesley Publishing Company
KW  - Ð°Ð½Ð³Ð»Ð¸Ð¹ÑÐºÐ¸Ð¹ ÑÐ·ÑÐº
KW  - Ð²ÑÑÐ¸ÑÐ»Ð¸ÑÐµÐ»ÑÐ½Ð°Ñ ÑÐµÑÐ½Ð¸ÐºÐ°
KW  - Ð¿ÑÐ¾Ð³ÑÐ°Ð¼Ð¼Ñ
KW  - 681.3.06
KW  - 3
ER  -