读书论坛谈读书啦。今年买的部分书清单。


所有跟贴·加跟贴·新语丝读书论坛

送交者: zhangqq 于 2015-07-16, 19:56:25:

Set Theory and the Continuum Problem Paperback – Mar 24 2010
by Raymond M. Smullyan (Author), Melvin Fitting (Author)


A New Introduction to Modal Logic Paperback – Sep 12 1996
by M.J. Cresswell (Author), G.E. Hughes (Author)


Computability Theory, Semantics, and Logic Programming Hardcover – Apr 1987
by Melvin Fitting (Author)


A New Approach to Quantum Logic Paperback – Sep 24 2007
by K. Engesser (Author), D. M. Gabbay (Author), D. Lehmann (Author)


Godel's Incompleteness Theorems Hardcover – Aug 1 1988
by Raymond M. Smullyan (Author)


Incompleteness in the Land of Sets Paperback – Feb 19 2007
by M. Fitting (Author)


Recursion Theory: Lecture Notes in Logic 1 Paperback – Feb 20 2001
by Joseph R. Shoenfield (Author)


Subsystems of Second Order Arithmetic Hardcover – May 29 2009
by Stephen G. Simpson (Author)


The Higher Infinite: Large Cardinals in Set Theory from Their Beginnings Paperback – Nov 26 2008


Combinatorial Set Theory: With a Gentle Introduction to Forcing Hardcover – Dec 9 2011


Model Theory Hardcover – Apr 30 1993
by Wilfrid Hodges (Author)


Mathematical Logic Hardcover – Dec 1 1996
by H.-D. Ebbinghaus (Author), J. Flum (Author), Wolfgang Thomas (Author)




所有跟贴:


加跟贴

笔名: 密码: 注册笔名请按这里

标题:

内容: (BBCode使用说明