| « | November 2025 | » | | 日 | 一 | 二 | 三 | 四 | 五 | 六 | | | | | | | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 8 | 9 | 10 | 11 | 12 | 13 | 14 | 15 | 16 | 17 | 18 | 19 | 20 | 21 | 22 | 23 | 24 | 25 | 26 | 27 | 28 | 29 | 30 | | | | | | | |
|
公告 |
| 暂无公告... |
| Blog信息 |
|
blog名称:
日志总数:1
评论数量:1
留言数量:0
访问次数:29920
建立时间:2005年3月12日 |
| |
|
 [收藏][下载] 逻辑资源一堆 -- 作者：Logician
文章收藏
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 Aroundby Karlis Podnieks
Introduction to Mathematical Logicby Vilnis Detlovs & Karlis Podnieks
An Introduction to Godel's Theorems
Stanley N. Burris's Homepage
<完>参与讨论本主题 |
|
» 1 »
|