資料詳細

【図書】 数理論理学原論

近代ポーランド論理学の原典 --
ヤン・ウカシェーヴィチ／著, 高松鶴吉／訳, 　 , 　 -- 文化書房博文社 -- １９９２．４ -- ２２ｃｍ -- ２２８ｐ

タイトル	数理論理学原論
副書名	近代ポーランド論理学の原典
著者名等	ヤン・ウカシェーヴィチ／著, 高松鶴吉／訳, 　 ,
出版	文化書房博文社１９９２．４
大きさ等	２２ｃｍ２２８ｐ
分類	410.96
件名	記号論理学
注記	Ｅｌｅｍｅｎｔｙ　ｌｏｇｉｋｉ　ｍａｔｅｍａｔｙｃｚｎｅｊ．／の翻訳
目次	１　序論（数理論理学の方向。数理論理学と哲学的論理学；定理と推論規則。命題論理と名辞論理）；２　演繹理論（原始術語と演繹理論の公理；演繹理論の定義と推論規則；演繹理論の定理）；３　演繹理論の方法論から（演繹理論の無矛盾性と独立性。多値論理学について；演繹理論の完全性）；４　量記号付きの演繹理論について（量記号について。推論規則。テーゼ）；５　アリストテレス三段論法の理論（公理。定理。推論規則；アリストテレス推論式のテーゼ）；付録（自然科学における推論について）
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