Back
$lambdarho$-calculus: a natural deduction for classical logic 

作成者 古森, 雄一
日本十進分類法 (NDC) 410
コンテンツの種類 雑誌掲載論文 Journal Article
DCMI資源タイプ text
ハンドルURL http://mitizane.ll.chiba-u.jp/meta-bin/mt-pdetail.cgi?cd=00020981
フルテキストへのリンク http://mitizane.ll.chiba-u.jp/metadb/up/C0000050403/KOMORI.htm
言語 英語


Total Access Count:

727 times.


Search
Related Materials in