ヘルプ
ヘルプ

検索結果 1 件

Proof, computation and agency : logic at the crossroads : softcover

Proof, computation and agency : logic at the crossroads : softcover
紙図書
edited by Johan van Benthem, Amitabha Gupta and Rohit ParikhSpringerc2011
全国の図書館
  • ISBN9789400700796 9789400735811

検索結果は以上です。