スマリヤン記号論理学 : 一般化と記号化

Author(s)

• Smullyan, Raymond M.
• 川辺, 治之 カワベ, ハルユキ
• 高橋, 昌一郎 タカハシ, ショウイチロウ

Bibliographic Information

スマリヤン記号論理学 : 一般化と記号化

Raymond Smullyan [著] ; 川辺治之訳

丸善出版, 2013.1

Other Title

Logical labyrinths

記号論理学 : スマリヤン : 一般化と記号化

Title Transcription

スマリヤン キゴウ ロンリガク : イッパンカ ト キゴウカ

Note

監訳: 高橋昌一郎

原著 (New York : A.K. Peters, 2009) の前半 (part Iとpart II) の全訳

スマリヤンの著作: p145-146

Description and Table of Contents

Table of Contents

• 第１部　一般化のすすめ（正直者と嘘つきの論理学；男性か女性か；沈黙する騎士と悪漢；マトモかイカれているか；二重の厄介さ；統一原理）
• 第２部　記号化のすすめ（命題論理入門；正直者と嘘つきの命題論理；日がわり嘘つき；論理結合子と日がわり嘘つき；タブロー法；「すべて」と「少なくとも一つ」；第１階述語論理入門）

by "BOOK database"

• NCID: BB11573316
• ISBN:
  • 9784621085721
• Country Code: ja
• Title Language Code: jpn
• Text Language Code: jpn
• Original Language Code: eng
• Place of Publication: 東京
• Pages/Volumes: vii, 150p
• Size: 21cm
• Classification:
  • NDC7 : 410.12
  • NDC8 : 410.96
• Subject Headings:
  • NDLSH : 記号論理学