記号論理の手習い(第9回)命題論理の自然演繹(3)
Bibliographic Information
- Other Title
-
- キゴウ ロンリ ノ テナライ(ダイ9カイ)メイダイ ロンリ ノ シゼンエンエキ(3)
Search this article
Journal
-
- 数学セミナー
-
数学セミナー 52 (6), 79-85, 2013-06
東京 : 日本評論社
- Tweet
Details 詳細情報について
-
- CRID
- 1523951030603438464
-
- NII Article ID
- 40019687198
-
- NII Book ID
- AN10333470
-
- ISSN
- 03864960
-
- NDL BIB ID
- 024662993
-
- Text Lang
- ja
-
- NDL Source Classification
-
- ZM31(科学技術--数学)
-
- Data Source
-
- NDL
- CiNii Articles
