サクサク読めて、アプリ限定の機能も多数!
Restricted Arrow: a paper on new proof systems for some substructural logics:
ytb のブックマーク 2008/11/15 13:43
http://springerlink.com/content/423286r002j03954/[logic][論文]Restricted Arrow: a paper on new proof systems for some substructural logics:2008/11/15 13:43
このブックマークにはスターがありません。 最初のスターをつけてみよう!
springerlink.com2008/11/15
1 人がブックマーク・1 件のコメント
\ コメントが サクサク読める アプリです /
Restricted Arrow: a paper on new proof systems for some substructural logics:
ytb のブックマーク 2008/11/15 13:43
このブックマークにはスターがありません。
最初のスターをつけてみよう!
http://springerlink.com/content/423286r002j03954/
springerlink.com2008/11/15
1 人がブックマーク・1 件のコメント
\ コメントが サクサク読める アプリです /