サクサク読めて、アプリ限定の機能も多数!
Lutz Strassburgerの論文の解説など。論理とはプレ順序集合なり、とか。
kgbu のブックマーク 2009/10/28 22:30
論理とはなにか? - 檜山正幸のキマイラ飼育記 (はてなBlog)[logic][論文][証明論][あとで読む][そもそも][数学][勉強][今日の全然わからん]Lutz Strassburgerの論文の解説など。論理とはプレ順序集合なり、とか。2009/10/28 22:30
このブックマークにはスターがありません。 最初のスターをつけてみよう!
m-hiyama.hatenablog.com2006/10/19
たまたま、"What is a logic, and what is a proof?" (April 8, 2005) by Lutz Strassburgerという論文を見つけて、読んでみました。比較的短い(印刷して12P)解説的な論文です。表題のとおり、 論理とはなにか...
30 人がブックマーク・3 件のコメント
\ コメントが サクサク読める アプリです /
Lutz Strassburgerの論文の解説など。論理とはプレ順序集合なり、とか。
このブックマークにはスターがありません。
最初のスターをつけてみよう!
論理とはなにか? - 檜山正幸のキマイラ飼育記 (はてなBlog)
たまたま、"What is a logic, and what is a proof?" (April 8, 2005) by Lutz Strassburgerという論文を見つけて、読んでみました。比較的短い(印刷して12P)解説的な論文です。表題のとおり、 論理とはなにか...
30 人がブックマーク・3 件のコメント
\ コメントが サクサク読める アプリです /