逻辑

简单的逻辑学（D.Q.麦克伦尼）（浙江人民出版社 2013）

1 年前 1 1 32 0

The Mathematical Analysis of Logic： Being an Essay Towards a Calculus of Deductive Reasoning（George Boole）（Cambridge University Press 2009）

1 年前 1 1 5 0

普通高等教育十•五国家级规划教材•数理逻辑 (博雅大学堂·哲学)（邢滔滔）（北京大学出版社 2008）

1 年前 1 1 6 0

Mathematical Logic through Python（Yannai A. Gonczarowski， Noam Nisan）（Cambridge University Press 2022）

1 年前 0 0 5 0

数理逻辑通俗讲话（王浩）（科学出版社 1981）

1 年前 0 0 10 0

数理逻辑引论（王宪钧）（北京大学出版社 1998）

1 年前 0 0 24 0

数理逻辑：证明及其限度（杨跃郝兆宽杨睿之）（复旦大学出版社 2014）

1 年前 0 0 18 0

递归论（莫绍揆）（科学出版社 1987）

1 年前 0 0 7 0

数理逻辑教程（莫绍揆）（华中工学院出版社 1982）

1 年前 0 0 9 0

[图灵计算机科学丛书]数理逻辑第2版（（美）Herbert B.Enderton著）（人民邮电出版社 2007）

1 年前 0 0 16 0

Essential Logic for Computer Science（Rex Page;Ruben Gamboa;）（MIT Press 2019）

1 年前 0 0 6 0

数学女孩3：哥德尔不完备定理（结城浩）（人民邮电出版社 2017）

1 年前 0 0 11 0

Logic in Computer Science（M. Huth， M. Ryan）（Cambridge 2004）

1 年前 0 0 6 0

数理逻辑（余俊伟，赵晓玉，裘江杰，张立英）（中国人民大学出版社 2020）

1 年前 0 0 18 0

三个逻辑学家去酒吧 Kommen drei Logiker in eine Bar（[德] Holger Dambeck 霍格尔·丹贝克， [译] 罗松洁）（未读·思想家 2019）

1 年前 0 0 11 0

一阶逻辑与一阶理论（叶峰）（中国社会科学出版社 1994）

1 年前 0 0 13 0

Homotopy Type Theory： Univalent Foundations of Mathematics（The Univalent Foundations Program）（2013）

1 年前 0 0 10 0

必然、蕴涵、世界与关系：模态逻辑的历史和基本理论探究（周祯祥）（北京师范大学出版社 2017）

1 年前 0 0 8 0

归纳推理陆征麟著（Unknown）

1 年前 0 0 11 0

Lectures in Logic and Set Theory. Volume 1： Mathematical Logic（George Tourlakis）（Cambridge University Press 2003）

1 年前 0 0 8 0