First-Order Logic and Automated Theorem Proving (Texts in Computer Science) (2ND)
  • 洋書

First-Order Logic and Automated Theorem Proving (Texts in Computer Science) (2ND)  Paperback,  言語:ENG

Fitting, Melvin

  • ウェブストア価格 ¥22,383(本体¥20,349)
  • Springer-Verlag New York Inc.(2013/06発売)
  • ポイント 203pt
  • 海外取次在庫
Justification Logic : Reasoning with Reasons (Cambridge Tracts in Mathematics)
  • 洋書

Justification Logic : Reasoning with Reasons (Cambridge Tracts in Mathematics)  Hardcover,  言語:ENG

Artemov, Sergei/ Fitting, Melvin

  • ウェブストア価格 ¥33,804(本体¥30,731)
  • Cambridge University Press(2019/05発売)
  • ポイント 307pt
  • 海外取次在庫
Numbers
  • 洋書

Numbers  Paperback

Fitting, Melvin/ Fitting, Greer

  • ウェブストア価格 ¥3,946(本体¥3,588)
  • College Publications(2020/06発売)
  • ポイント 35pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Selected Topics from Contemporary Logics
  • 洋書

Selected Topics from Contemporary Logics  Paperback

Fitting, Melvin(EDT)

  • ウェブストア価格 ¥7,041(本体¥6,401)
  • College Publications(2021/10発売)
  • ポイント 64pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Incompletetude Na Terra Dos Conjuntos
  • 洋書

Incompletetude Na Terra Dos Conjuntos  Paperback,  言語:POR

Fitting, Melvin/ Ramos, Jaime (TRN)

  • ウェブストア価格 ¥4,160(本体¥3,782)
  • College Publications(2013/05発売)
  • ポイント 37pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
To Mock a Mockingbird: And Other Logic Puzzles Including an Amazing Adventure in Combinatory Logic
  • 洋書

To Mock a Mockingbird: And Other Logic Puzzles Including an Amazing Adventure in Combinatory Logic  Paperback

Smullyan, Raymond M./ Fitting, Melvin(FRW)

  • ウェブストア価格 ¥4,255(本体¥3,869)
  • What Is the Name of This Press(2025/10発売)
  • ポイント 38pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Beyond Two: Theory and Applications of Multiple-Valued Logic (Studies in Fuzziness and Soft Computing 114)
  • 洋書

Beyond Two: Theory and Applications of Multiple-Valued Logic (Studies in Fuzziness and Soft Computing 114)  Paperback

Herausgegeben von Fitting, Melvin/ Orlowska, Ewa

  • Springer(2010/10発売)
  • ご注文いただけません
Raymond Smullyan on Self Reference (Outstanding Contributions to Logic)
  • 洋書
  • 電子版あり

Raymond Smullyan on Self Reference (Outstanding Contributions to Logic)  Hardcover,  言語:ENG

Fitting, Melvin (EDT)/ Rayman, Brian (EDT)

  • ウェブストア価格 ¥26,862(本体¥24,420)
  • Springer International Publishing AG(2018/01発売)
  • ポイント 244pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Raymond Smullyan on Self Reference (Outstanding Contributions to Logic)
  • 洋書

Raymond Smullyan on Self Reference (Outstanding Contributions to Logic)  Paperback,  言語:ENG

Fitting, Melvin (EDT)/ Rayman, Brian (EDT)

  • ウェブストア価格 ¥26,862(本体¥24,420)
  • Springer International Publishing AG(2019/06発売)
  • ポイント 244pt
  • 海外取次在庫
First-Order Modal Logic (Synthese Library) (2ND)
  • 洋書

First-Order Modal Logic (Synthese Library) (2ND)  Paperback

Fitting, Melvin/ Mendelsohn, Richard L.

  • ウェブストア価格 ¥31,359(本体¥28,509)
  • Springer International Publishing AG(2024/10発売)
  • ポイント 285pt
  • 海外からお取り寄せ(通常6~9週間)