TY  - BOOK
A1  - / ل‍Katalin Bimb
TI  - Combinatory Logic: Pure, Applied and Typed (Discrete Mathematics and its Applications)
PB  - کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند
SN  - 93592751
UR  /book/93592751/Combinatory-Logic-Pure-Applied-and-Typed-Discre/
ER  -