• RecordNumber
    96131
  • Author

    Indian Conference on Logic an​d its Relationship with Other Disciplines (1st : 2005 : Bombay, India)

  • Title

    Proof, computation an​d agency : logic at the crossroads

  • Editor
    edited by Johan van Benthem, Amitabha Gupta, Rohit Parikh.
  • Publication
    Dordrecht ; London : Springer
  • Publication Year
    c2011
  • Collation
    xxiv, 371 p. : ill.
  • Bibliography
    Includes bibliographical references
  • Subject

    Logic -- Data processing -- Congresses , Social interaction -- Philosophy -- Congresses

  • ADDED ENTRIES
    AU Benthem, J. F. A. K. van, 1949- , AU Gupta, Amitabha , AU Parikh, Rohit, 1936-
  • Main Class
    160
  • Cutter no
    I393p
  • Date
    2005
  • واردكننده اطلاعات
    ربابه صمدي علي نيا
    • Link To Document
    https://lib.ui.ac.ir/dl/search/default.aspx?Term=96131&Field=0&DTC=2