記号論理の手習い(第9回)命題論理の自然演繹(3)
書誌事項
- タイトル別名
-
- キゴウ ロンリ ノ テナライ(ダイ9カイ)メイダイ ロンリ ノ シゼンエンエキ(3)
この論文をさがす
収録刊行物
-
- 数学セミナー
-
数学セミナー 52 (6), 79-85, 2013-06
東京 : 日本評論社
- Tweet
詳細情報 詳細情報について
-
- CRID
- 1523951030603438464
-
- NII論文ID
- 40019687198
-
- NII書誌ID
- AN10333470
-
- ISSN
- 03864960
-
- NDL書誌ID
- 024662993
-
- 本文言語コード
- ja
-
- NDL 雑誌分類
-
- ZM31(科学技術--数学)
-
- データソース種別
-
- NDL
- CiNii Articles