近代ポーランド論理学の原典 --
ヤン・ウカシェーヴィチ /著, 高松鶴吉 /訳,   ,     -- 文化書房博文社 -- 1992.4 -- 22cm -- 228p

資料詳細

タイトル 数理論理学原論
副書名 近代ポーランド論理学の原典
著者名等 ヤン・ウカシェーヴィチ /著, 高松鶴吉 /訳,   ,    
出版 文化書房博文社 1992.4
大きさ等 22cm 228p
分類 410.96
件名 記号論理学
注記 Elementy logiki matematycznej./の翻訳
目次 1 序論(数理論理学の方向。数理論理学と哲学的論理学;定理と推論規則。命題論理と名辞論理);2 演繹理論(原始術語と演繹理論の公理;演繹理論の定義と推論規則;演繹理論の定理);3 演繹理論の方法論から(演繹理論の無矛盾性と独立性。多値論理学について;演繹理論の完全性);4 量記号付きの演繹理論について(量記号について。推論規則。テーゼ);5 アリストテレス三段論法の理論(公理。定理。推論規則;アリストテレス推論式のテーゼ);付録(自然科学における推論について)
ISBN(13)、ISBN    4-8301-0626-3
書誌番号 1190425740
URL https://opac.lib.city.yokohama.lg.jp/winj/opac/switch-detail.do?bibid=1190425740

所蔵

所蔵は 1 件です。現在の予約件数は 0 件です。

所蔵館 所蔵場所 別置 請求記号 資料区分 状態 取扱 資料コード
中央 書庫 410.9/45 一般書 利用可 - 2007662834 iLisvirtual