現代数理論理学序説 / 小野 寛晰 工場 / 古森 雄一

  • 商品説明・詳細

  • 送料・お届け

商品情報

2010年初版第1刷 目立った傷や汚れは見当たりません.経年の割に良い状態を保っていると思われます. 「現代数理論理学序説」 小野 寛晰 / 古森 雄一 定価: ¥ 3000 《内容説明》  論理とラムダ計算、部分構造論理、論理学への代数的アプローチなど、最新の話題を盛り込んだ新しい入門書。 《目次》 第1章 命題論理  論理学と形式的体系  命題論理の体系  ゲンツェンの基本定理  古典命題論理の意味論 第2章 述語論理  述語論理の体系  ゲンツェンの基本定理  古典述語論理の意味論 第3章 ラムダ計算の世界  ラムダ計算の計算能力  ラムダ項の型付けとη変形 第4章 非標準論理  直観主義論理  論理と代数  様相論理  部分構造論理 #小野寛晰 #小野_寛晰 #古森雄一 #古森_雄一 #本 #自然/数学

残り 9 19,800円

(371 ポイント還元!)

翌日お届け可(営業日のみ) ※一部地域を除く

お届け日: 12月20日〜指定可 (明日16:00のご注文まで)

  • ラッピング
    ラッピング
希望しない
希望する ( +600円 )
希望しない
数量
同時に5点までのご購入が可能です。
お気に入りに保存

対応決済方法

クレジットカード
クレジットカード決済
コンビニ前払い決済
コンビニ決済
代金引換
商品到着と引き換えにお支払いいただけます。 (送料を含む合計金額が¥292,717 まで対応可能)
ペイジー前払い決済(ATM/ネットバンキング)
以下の金融機関のATM/ネットバンクからお支払い頂けます
みずほ銀行 、 三菱UFJ銀行 、 三井住友銀行
りそな銀行 、ゆうちょ銀行、各地方銀行
Amazon Pay(Amazonアカウントでお支払い)

大量注文に関して

30個以上かつ10万円以上のご購入はこちらからお問い合わせください

お問い合わせはこちらから