Jump to main content

yr 〜
yr

Search results 1

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

Proof, computation and agency : logic at the crossroads : softcover
Paper図書
edited by Johan van Benthem, Amitabha Gupta and Rohit ParikhSpringerc2011
Other Libraries in Japan
  • Subject HeadingLogic -- Data processing -- Congresses Social interaction -- Philosophy -- Congresses
  • Subject Heading (ID)Logic -- Data processing -- Congresses Social interaction -- Philosophy -- Congresses

Reached to the end of result.

RSS