Logician的博客 http://blogger.org.cn/blog/blog.asp?name=Logician Logician的博客 blogger.org.cn W3CHINA Blog webmaster@blogger.org.cn <![CDATA[[收藏][下载] 逻辑资源一堆 -- 作者：Logician]]> http://blogger.org.cn/blog/more.asp?name=Logician&id=3557 Logician 2005/3/12 10:52:14 W3CHINA.ORG讨论区(BBS.W3CHINA.ORG)   原文链接
作者：Logician
以下为原文：

[下载] 逻辑资源一堆

Book Series on Logic in Computer Science and Theories of Programming Languages

What is Mathematics: Godel"s Theorem and Around
by Karlis Podnieks

Introduction to Mathematical Logic
by Vilnis Detlovs & Karlis Podnieks

An Introduction to Godel's Theorems

Stanley N. Burris's Homepage



<完>
参与讨论本主题

]]>