deepseek推荐

心流
来自: 心流 (哈尔滨) 2025-08-27 10:02:38创建   2025-08-27 11:38:27更新
全部(12)
来自：豆瓣读书
Treatise on Intuitionistic Type Theory
(2人评价)
作者: Granstrom, Johan Georg
出版社: Springer
出版年: 2011
回复
来自：豆瓣读书
Intuitionistic Type Theory
(1人评价)
作者: Per Martin-Lof
出版社: Prometheus Books
出版年: 1985-6
回复
来自：豆瓣读书
数学哲学
8.6 (141人评价)
作者: [美] 保罗·贝纳塞拉夫 / [美] 希拉里·普特南
出版社: 商务印书馆
出版年: 2003-2
回复
来自：豆瓣读书
Marin-Lof类型论程序设计导引
(3人评价)
作者: Bengt Nordstrom
出版社: 南京大学出版社
出版年: 2002-9
回复
来自：豆瓣读书
Constructivism in Mathematics
(1人评价)
作者: Troelstra, Anne S.; Van Dalen, D.; Ranis
出版年: 1988-7
回复
来自：豆瓣读书
经典逻辑与直觉主义逻辑
(2人评价)
作者: 冯棉
出版社: 上海人民出版社
出版年: 1989
回复
来自：豆瓣读书
Computability in Context
(0人评价)
作者: Cooper, S. Barry / Sorbi, Andrea
出版年: 2009-2
回复
来自：豆瓣读书
Varieties of Constructive Mathematics
(0人评价)
作者: Bridges, Douglas S.; Richman, Fred; Bridges/Richman
出版年: 1987-4
回复
来自：豆瓣读书
Slicing the Truth
(2人评价)
作者: Denis R Hirschfeldt
回复
来自：豆瓣读书
Reverse Mathematics 2001
(0人评价)
作者: Simpson, Stephen G. (EDT)
出版社: A K Peters Ltd
出版年: 2005
回复
来自：豆瓣读书
Reverse Mathematics
(8人评价)
作者: John Stillwell
出版社: Princeton University Press
出版年: 2018-1-9
回复
来自：豆瓣读书
Subsystems of Second Order Arithmetic
(5人评价)
作者: Simpson, Stephen G.
出版年: 2009-5
回复

什么是书单  · · · · · ·

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

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

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

心流的其它豆列  · · · · · ·  ( 全部 )