図書

形式論理探求 第1巻 オンデマンド版

図書を表すアイコン
表紙は所蔵館によって異なることがあります ヘルプページへのリンク

形式論理探求. 第1巻

オンデマンド版

国立国会図書館請求記号
H35-M3
国立国会図書館書誌ID
029721955
資料種別
図書
著者
高木翼 著
出版者
やまなみ書房
出版年
2019.5
資料形態
紙
ページ数・大きさ等
143p ; 21cm
NDC
116.1
すべて見る

資料詳細

内容細目：

古典論理のタブロー（提供元: 国立国会図書館蔵書）

要約等：

タブローという図によって論理を視覚的に分析する方法について丁寧に解説する。（提供元: 出版情報登録センター（JPRO））

著者紹介：

高木 翼 ［出版当時の情報］ 1997年 東京都に生まれる。現在 法政大学文学部哲学科在学中。量子論理に関する発表で、日本物理学会第11回Jr.セッション審査員特別賞を受賞。論文「K4タブローによる妥当性判定と濾過法」（Journal of Science and Philosophy, Assoc...

書店で探す

書店で探す

目次

  • はじめに

  • 第1章 古典命題論理の意味論

  • §1.1 命題の意味

  • §1.2 「または」と「ならば」

  • §1.3 命題の記号化

書店で探す

出版書誌データベース Books から購入できる書店を探す

『Books』は各出版社から提供された情報による出版業界のデータベースです。 現在入手可能な紙の本と電子書籍を検索することができます。

書誌情報

この資料の詳細や典拠（同じ主題の資料を指すキーワード、著者名）等を確認できます。

紙

資料種別
図書
ISBN
978-4-909624024
タイトル
形式論理探求
タイトルよみ
ケイシキ ロンリ タンキュウ
巻次・部編番号
第1巻
著者・編者
高木翼 著
版
オンデマンド版
著者標目
高木, 翼, 1997- タカギ, ツバサ, 1997- ( 001323770 )典拠
出版事項
相模原 : やまなみ書房
出版年月日等
2019.5