双対直観主義命題論理計算DLJのGentzen流形式化

スポンサーリンク

概要

• 論文の詳細を見る
• 阪南大学学会の論文

阪南大学学会 | 論文

• スエ-デンにおける移民・難民への公立図書館サ-ビス--「平等・選択の自由・協同」の外国人・少数民族政策のもとに
• カナダ図書館協会(英語系)の多文化サ-ビス・ガイドラインについて
• ユダヤ人公共図書館(モントリオ-ル)の蔵書構成
• カナダ国立図書館・多言語資料サ-ビス部の発足と展開
• 公立図書館における多言語資料サ-ビス--トロント市立図書館・1957年〜1987年

もっと見る

スポンサーリンク