منطق ترکیبی ۲۰۱۱
Combinatory Logic 2011

منطق ترکیبی حوزه‌ای پرکاربرد است که با منطق فلسفی، ریاضیاتی و محاسباتی پیوند دارد. این مرجع جامع در زمینه‌ی منطق ترکیبی، نتایج حاصل در این حوزه طی چهار دهه‌ی اخیر را به همراه اطلاعات کلاسیک در این‌باره پوشش می‌دهد. نویسنده منطق ترکیبی را به گونه‌ای ساده قابل درک می‌سازد و در عین حال، دانش کاربردی ارائه می‌دهد که دقیق، به‌روز و خواندنی است. این کتاب، با حفظ دقت در شرح مطالب، رویکردی مخاطب‌پسند دارد و شامل بسیاری از نتایج تحقیقاتی جدید است که در منابع موجود یافت نمی‌شوند. همچنین، حاوی اشاراتی به مسیرهای جدید در این حوزه است که محققان می‌توانند آن‌ها را پیگیری کنند.

Combinatory logic is a versatile field that is connected to philosophical, mathematical, and computational logic. This comprehensive reference on combinatory logic covers results in the field from the last four decades along with classical information on the topic. The author makes combinatory logic simple to understand while providing working knowledge that is rigorous, current, and readable. Reader-friendly without compromising the precision of exposition, the book includes many new research results not found in the available literature. It also contains pointers to new directions in the field that can be pursued further by researchers.