日买网由商品页面挑出的重要提示
- 侦测到“故障品”字样，请与客服确认
- 此卖家为店铺，收10%消费税
- 此商品为海外发货，可能收取高额运费
- 此商品注意尺寸重量限制,以免无法运输
論理と分析 文系のための記号論理入門 D03818 金子裕介／著
論理と分析 文系のための記号論理入門 D03818 金子裕介／著[浏览Yahoo!拍卖页面]
- 一口价：￥95（合1900日元）
- 现在价格：￥
日元） - 剩余时间：
- 下标数目：次
商品参数
- 拍卖号： s1075164428
开始时的价格：￥95 (1900日元)
个数： 1
最高出价者： - 开始时间： 2025/1/5 5:04:58
结束时间：
提前结束： 有可能
商品成色： 二手 - 自动延长： 会
日本邮费： 卖家承担
可否退货： 不可以
直购价格： ￥95 (1900日元)
拍卖注意事项
1、【自动延长】：如果在结束前5分钟内有人出价，为了让其他竞拍者有时间思考，结束时间可延长5分钟。
2、【提前结束】：卖家觉得达到了心理价位，即使未到结束时间，也可以提前结束。
3、参考翻译由网络自动提供，仅供参考，不保证翻译内容的正确性。如有不明，请咨询客服。
4、本站为代购代拍平台，商品的品质和卖家的信誉需要您自己判断。请谨慎出价，竞价成功后订单将不能取消。
5、违反中国法律、无法邮寄的商品(注：象牙是违禁品，受《濒临绝种野生动植物国际贸易公约》保护)，本站不予代购。
6、邮政国际包裹禁运的危险品，邮政渠道不能发送到日本境外（详情请点击）, 如需发送到日本境外请自行联系渠道。
新功能上线
鼠标选中一段文字， 可以自动翻译啦!
哲学的な背景や問題意識も盛り込みながら、文系に訴えるよう工夫された論述。
豊富な練習問題と、省略のない付録により、健全性定理と完全性定理に代表される
(命題論理にとどまらない述語論理の)メタ定理までの十分な理解を目指した、オールインワンの入門書!
目次
イントロダクション
第I部構文論と意味論
第一章論理学の二つの潮流
第二章構文論と意味論の齟齬
第II部命題論理の構文論
第一章対象言語とメタ言語
第二章命題論理の文法
第三章論理学の哲学
第四章命題論理の証明
第III部命題論理の意味論
第一章意味の問題
第二章真理関数と真理表
第三章意味論の役割
第四章重要な補足
第IV部述語論理の構文論
第一章述語論理の文法
第二章述語論理の証明
第三章応用と実践
第V部述語論理の意味論
第一章モデル論的意味論
第二章タルスキと論理式の問題
第三章充足の定義
第四章関係述語の問題
第五章妥当性と論理的帰結
第六章反証モデルと反証図
第VI部完全性定理と健全性定理
第一章話の入り口
第二章完全性定理
第三章レーヴェンハイム-スコーレムの定理
第四章コンパクト性定理と超準モデル
第五章健全性定理