请大家推荐一些逻辑学的书籍。

你可以参考高等教育自学考试用书《形式逻辑》（第四版），华东师范大学出版社出版，华东师范大学哲学系逻辑学教研室编写。也可以参考全国高等师范专科学校教材《形式逻辑》，华中师范大学出版社出版，蔡贤浩主编。
这两部教材相对比较浅显，也容易自学。
如果你想更深入学习，建议你参考《普通逻辑》（增订本），上海人民出版社，《普通逻辑》编写组编写，这是教育部组织的十几所高校逻辑学专家编写的。

达芬奇密码，达芬奇解码，希腊棺材之谜，脑髓地狱，

logic in computer science
英文教材，我正在学～～～