面向计算机科学的数理逻辑（第二版）（陆钟万）（科学出版社 2002）

大家都喜欢

• 
  歌德诗选（（德）歌德著）（2000）
• 
  给孩子的中国历史故事(大星文化出品，新版•作家榜插图珍藏本) (作家榜经典文库)（汤芸畦）（浙江文艺出版社 2017）
• 
  民间文学资料 第61集 苗族祭鼓词、贾理词（贵州省民族事务委员会，中国民间文艺研究会贵州分会编）（贵州省民族事务委员会 1983）
• 
  真味香港菜 Hong Kong Cuisine Classic（陳紀臨; 方曉嵐）（萬里機構出版社 2012）
• 
  Certified Kubernetes Administrator (CKA) Study Guide (Third Early Release) (Benjamin Muschko)
• 
  Earthlings (Chikyū Seijin)（Sayaka Murata， Ginny Tapley Takemori (translation)）（Grove Press， Grove Atlantic 2020）
• 
  九型人格（插图精读本）（问道， 黄亚男）（华夏出版社 2014）
• 
  象之首（白井智之）（2023）
• 
  Automate the Boring Stuff with Python， 2nd Edition： Practical Programming for Total Beginners（Al Sweigart）（No Starch Press 2019）
• 
  Metropolis： A History of the City， Humankind’s Greatest Invention（Ben Wilson）（Doubleday 2020）
• 
  Kubernetes Security and Observability (Alex Pollitt Manish Sampat)
• 
  文学或者音乐（余华）（译林出版社 2017）
• 
  好好接话 (山口拓朗 [山口拓朗])
• 
  托妮·莫里森作品集10册【最蓝的眼睛、所罗门之歌、秀拉、柏油娃娃、宠儿、爵士乐、天堂、爱、恩惠、家园】（作者：（美国）托妮·莫里森）（2015）
• 
  诚实的手艺（（日）美帆著；武岳等译）（长沙：湖南美术出版社 2016）
• 
  李自成：全10册（首届茅盾文学奖获奖作品；历时四十年，终成巨著；真实描写300多年前的历史进程和波澜壮阔的农民起义） (茅盾文学奖获奖作品全集)（姚雪垠）（人民文学出版社 2019）
• 
  文史资料存稿选编-军事机构（下）（全国政协文史资料委员会）（中国文史出版社 2002）
• 
  赤裸的午餐 俊友（[美]巴勒斯著，[法]莫泊桑著）
• 
  开源商业化三维游戏引擎大揭秘【文字版】（刘晖，林欣，李强）（清华大学出版社出版 2013）
• 
  硅谷钢铁侠：埃隆·马斯克的冒险人生（[美]阿什利·万斯）（中信出版社 2017）