Metamath & TCS

rnrwy
来自: rnrwy (Oxford) 2022-05-10 00:50:49创建   2022-05-29 11:58:33更新
全部(17)
来自：豆瓣读书
Computability and Logic
9.4 (35人评价)
作者: George S. Boolos / John P. Burgess / Richard C. Jeffrey
出版社: Cambridge University Press
出版年: 2007-09-17
回复
来自：豆瓣读书
Gödel's Proof
(3人评价)
作者: Ernest Nagel / James Newman
出版社: NYU Press
出版年: 2008-10-1
回复
来自：豆瓣读书
From Frege to Gödel
(8人评价)
作者: Jean Van Heijenoort
出版社: Harvard University Press
出版年: 2002
回复
来自：豆瓣读书
Models of Peano Arithmetic
(1人评价)
作者: Kaye, Richard
回复
来自：豆瓣读书
Turing Computability
(5人评价)
作者: Soare, Robert I
出版社: Springer Berlin Heidelberg
出版年: 2016
回复
来自：豆瓣读书
Recursion Theory for Metamathematics (Oxford Logic Guides)
(0人评价)
作者: Raymond M. Smullyan
出版社: Oxford University Press, USA
出版年: 1993-01-28
回复
来自：豆瓣读书
Godel's Incompleteness Theorems
(6人评价)
作者: Raymond M. Smullyan
出版社: Oxford University Press, USA
出版年: 1992-8-20
回复
来自：豆瓣读书
Logic, Semantics, Metamathematics
(4人评价)
作者: Alfred Tarski
出版社: Hackett Publishing Company
出版年: 1983-01
回复
来自：豆瓣读书
Feynman Lectures on Computation
(11人评价)
作者: Richard P. Feynman / Tony Hey
出版社: Perseus Books Group
出版年: 2000-07
回复
来自：豆瓣读书
Handbook of Theoretical Computer Science
(0人评价)
出版社: Elsevier Science
出版年: 1990-10-01
回复
来自：豆瓣读书
Mathematical Logic (3/e)
(5人评价)
作者: Heinz-Dieter Ebbinghaus / Jörg Flum / Wolfgang Thomas
出版社: Springer
出版年: 2021-7-11
回复
来自：豆瓣读书
Model Theory
8.2 (20人评价)
作者: David Marker
出版社: Springer
出版年: 2002-08-21
回复
来自：豆瓣读书
Proof Theory (Studies in Logic and the Foundations of Mathematics)
(1人评价)
作者: Gaisi Takeuti
出版社: Elsevier Science Ltd
出版年: 1987-04
回复
来自：豆瓣读书
Mathematics Form and Function
(3人评价)
作者: Saunders MacLane
出版社: Springer
出版年: 2011-9-26
回复
来自：豆瓣读书
Introduction to Metamathematics
(5人评价)
作者: Kleene, Stephen Cole
出版社: Ishi Press
出版年: 2009-3-13
回复
来自：豆瓣读书
Set Theory
(5人评价)
作者: Kunen, Kenneth
出版社: Elsevier Science Ltd
出版年: 1980
回复
来自：豆瓣读书
A Course in Mathematical Logic for Mathematicians
(9人评价)
作者: Yu. I. Manin
出版社: Springer
出版年: 2009-10-30
回复

什么是书单  · · · · · ·

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

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

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

rnrwy的其它豆列  · · · · · ·  ( 全部 )