some more serious logic

无空
来自: 无空 2020-02-15 04:29:56创建   2020-02-15 12:43:20更新
state-of-the-art stuff. (28/36)
The books are listed in alphabetical order by author.
(https://www.douban.com/photos/album/1870916138/)

NB：
booklist via：http://www.logicmatters.net/tyl/
must read：
Teach Yourself Logic 2020: A Study Guide (https://www.logicmatters.net/wp-content/uploads/2019/12/TeachYourselfLogic2020.pdf)
Appendix: Some Big Books on Mathematical Logic (https://www.logicmatters.net/resources/pdfs/Appendix.pdf)
3 人关注
全部(28)
按添加顺序查看
1
来自：豆瓣读书
Truth Through Proof
(0人评价)
作者: Weir, Alan
出版年: 2010-12
评语：35
回复
2
来自：豆瓣读书
Logic and Structure
(7人评价)
作者: Dirk van Dalen / Dirk van Dalen
出版社: Springer
出版年: 2008-9-1
评语：34
回复
3
来自：豆瓣读书
Logic for Philosophy
9.5 (63人评价)
作者: Theodore Sider
出版社: Oxford University Press
出版年: 2010-3-7
评语：32
回复
4
来自：豆瓣读书
Mathematical Logic
(8人评价)
作者: Joseph R. Shoenfield
出版社: Routledge
出版年: 2001-2-9
评语：31
回复
5
来自：豆瓣读书
Varieties of Logic
(2人评价)
作者: Stewart Shapiro
出版社: Oxford University Press
出版年: 2014-11-4
评语：30
回复
6
来自：豆瓣读书
Absolute Generality
(2人评价)
作者: Rayo, Agustin (EDT)/ Uzquiano, Gabriel (EDT)
出版社: Oxford Univ Pr
出版年: 2006-12
评语：28
回复
7
来自：豆瓣读书
Mathematical Logic and Model Theory
(4人评价)
作者: Prestel, Alexander; Delzell, Charles N.; Prestel, A.
出版年: 2011-8
评语：27
回复
8
来自：豆瓣读书
Mathematical Thought and Its Objects
(0人评价)
作者: Charles Parsons
出版社: Cambridge University Press
出版年: (December 24, 2007)
评语：26
回复
9
来自：豆瓣读书
Church's Thesis After 70 Years
(0人评价)
作者: Olszewski, Adam (EDT)/ Wolenski, Jan (EDT)/ Janusz, Robert (EDT)
出版社: Ontos Verlag
出版年: 2007-2-28
评语：25
回复
10
来自：豆瓣读书
Model Theory
(4人评价)
作者: Manzano, Maria
出版年: 1999-4
评语：23
回复
11
来自：豆瓣读书
Defending the Axioms On the Philosophical Foundations of Set Theory
(0人评价)
作者: Maddy, Penelope
评语：22
回复
12
来自：豆瓣读书
A Friendly Introduction to Mathematical Logic
(6人评价)
作者: Christopher C. Leary
出版社: Milne Library
出版年: 2015-8-10
评语：21
回复
13
来自：豆瓣读书
Mathematical Logic
(6人评价)
作者: Stephen Cole Kleene
出版社: Dover Publications
出版年: 2002-12-18
评语：20
回复
14
来自：豆瓣读书
Introduction to Metamathematics
(5人评价)
作者: Kleene, Stephen Cole
出版社: Ishi Press
出版年: 2009-3-13
评语：19
回复
15
来自：豆瓣读书
Notes on Logic and Set Theory
(1人评价)
作者: P. T. Johnstone
出版社: Cambridge University Press
出版年: 2008-8-21
评语：17
回复
16
来自：豆瓣读书
Fundamentals of Mathematical Logic
(11人评价)
作者: Peter G. Hinman
出版社: A K Peters/CRC Press
出版年: 2005-9-9
评语：14
回复
17
来自：豆瓣读书
A First Course in Logic
(8人评价)
作者: Shawn Hedman
出版社: Oxford University Press
出版年: 2004-08-20
评语：13
回复
18
来自：豆瓣读书
Axiomatic Theories of Truth
(1人评价)
作者: Halbach, Volker
出版年: 2010-12
评语：12
回复
19
来自：豆瓣读书
The Incompleteness Phenomenon
(1人评价)
作者: Goldstern, Martin; Judah, Haim
评语：11
回复
20
来自：豆瓣读书
Logic, Induction and Sets
(1人评价)
作者: Forster, Thomas
出版社: Cambridge University Press
出版年: 2003-7
评语：10
回复
21
来自：豆瓣读书
A Mathematical Introduction to Logic
8.7 (49人评价)
作者: Herbert B. Enderton
出版社: Academic Press
出版年: 2001-1-5
评语：09
回复
22
来自：豆瓣读书
Mathematical Logic
9.1 (39人评价)
作者: H.-D. Ebbinghaus / J. Flum / W. Thomas
出版社: Springer
出版年: 1996-11-15
评语：08
回复
23
来自：豆瓣读书
An Introduction to the Philosophy of Mathematics
(3人评价)
作者: Colyvan, Mark
出版年: 2012-6
评语：07
回复
24
来自：豆瓣读书
Mathematical Logic
9.1 (34人评价)
作者: Ian Chiswell / Wilfrid Hodges
出版社: Oxford University Press
出版年: 2007-07-12
评语：06
回复
25
来自：豆瓣读书
Gödel, Putnam, and Functionalism
(0人评价)
作者: Jeff Buechner
出版社: The MIT Press
出版年: 2007-11-30
评语：05
回复
<前页 1 2 后页>

什么是书单  · · · · · ·

书单是收集图书的工具，创建书单后，在豆瓣看到符合书单主题的图书时可以将它放入书单，方便以后找到。

你还可以看看其他人的收集，关注你感兴趣的书单。

这个书单的标签  · · · · · ·

无空的其它豆列  · · · · · ·  ( 全部 )