کتاب منطق ریاضی و کاربرد آن در علوم کامپیوتر