Restricted Arrow: a paper on new proof systems for some substructural logics:

ytbytb のブックマーク 2008/11/15 13:43

その他

このブックマークにはスターがありません。
最初のスターをつけてみよう!

http://springerlink.com/content/423286r002j03954/

    \ コメントが サクサク読める アプリです /

    • App Storeからダウンロード
    • Google Playで手に入れよう