面向计算机科学的数理逻辑系统建模与推理（哈斯）（机械工业出版社 2007）

大家都喜欢

• 
  歌德诗选（（德）歌德著）（2000）
• 
  民间文学资料 第61集 苗族祭鼓词、贾理词（贵州省民族事务委员会，中国民间文艺研究会贵州分会编）（贵州省民族事务委员会 1983）
• 
  流畅的 Python（第2版）
• 
  Certified Kubernetes Administrator (CKA) Study Guide (Third Early Release) (Benjamin Muschko)
• 
  逼近宇宙的秘密（200年来9次科学大发现，亲历人类揭开宇宙秘密的瞬间！作者3次获得英国皇家学会科学图书奖提名）（马库斯·乔恩）（江苏凤凰技术出版社 2021）
• 
  百年孤独【目录完整】【字体清晰】（加西亚 马尔克斯，黄锦炎，沈国正，陈泉）（上海译文出版社 1984）
• 
  剑桥高级英语语法
• 
  被算法操控的生活：重新定义精准广告、大数据和AI（大卫·萨普特）（湖南科学技术出版社 2020）
• 
  Simplified Guide To Dumpling Cookbook For Novices And Dummies（Layla Wood）（2021）
• 
  中国哲学通史（1-5卷）(数十位学者参与十余年时间撰写，经受了大学课程的磨练和国内学术界的质疑辩驳，权威、丰富、专业、精致)（丁四新 & 龚建平 & 郭齐勇 & 等）（2021）
• 
  Python3标准库
• 
  高效大脑工作法：如何拥有超越常人的优异表现（艾米·布兰）（人民邮电出版社 2020）
• 
  焦渴(北欧悬疑天王尤•奈斯博全新力作！交友软件开启连环案件，宛如都市梦魇的心理疾患。活着不只是呼吸，更重要的是存在感。)（尤·奈斯博）（湖南文艺出版社 2019）
• 
  解码日本文化DNA：妖怪、绘画与文学（共9册）（湊佳苗 & 谷崎润一郎 & 小川糸 & FL-ZC小花 & 伊坂幸太郎 & 远足文化编辑部编著 & 等）（2021）
• 
  我老婆是传奇天后（南国月三更）（2022）
• 
  《四库全书总目》研究（司马朝军）（社会科学文献出版社 2004）
• 
  小说鉴赏 下（克林斯·布鲁克斯，罗伯特·潘·华伦）（北京：中国青年出版社 1986）
• 
  漫步華爾街的10條投資金律：經理人不告訴你，但投資前一定要知道的事 = The Random Walk Guide To Investing（柏頓 · 墨基爾 (Burton G. Malkiel) 著 ; 辛亞蓓 譯）（樂金文化 2020）
• 
  鬼畜之家：千本樱文库35 鬼畜の家（深木章子，周庠宇）（台海出版社 2020）
• 
  四库全书（精华 套装12册）（纪昀）（北京联合出版公司 2019）