Proof, Computation and Agency : Logic at the Crossroads (Synthese Library) (2011)
  • 洋書

Proof, Computation and Agency : Logic at the Crossroads (Synthese Library) (2011)  Paperback,  言語:ENG

van Benthem, Johan (EDT)/ Gupta, Amitabha (EDT)/ Parikh, Rohit (EDT)

  • ウェブストア価格 ¥35,662(本体¥32,420)
  • Springer(2013/05発売)
  • ポイント 324pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。