Proof Computation Agency Logic (6 results)

Title
Refine with Advanced Search

Refine your search

  • Books (6)

to

Custom price range (US$)

to

  • Language: English

    Published by Springer, 2011

    9400700792 / 9789400700796

    Series: Book 57 of 304 - Synthese Library

    • Hardcover

    Seller: Ria Christie Collections, Uxbridge, United KingdomRia Christie Collections

    5-star seller
    Contact seller

    Condition: New

    US$ 208.60

    US$ 15.06 shipping 
    Ships from United Kingdom to U.S.A.

    Quantity: Over 20 available

    Condition: New. In English.

  • Language: English

    Published by Springer, 2013

    9400735812 / 9789400735811

    Series: Book 57 of 304 - Synthese Library

    • Softcover

    Seller: Ria Christie Collections, Uxbridge, United KingdomRia Christie Collections

    5-star seller
    Contact seller

    Condition: New

    US$ 208.60

    US$ 15.06 shipping 
    Ships from United Kingdom to U.S.A.

    Quantity: Over 20 available

    Condition: New. In English.

  • More images

    Language: English

    Published by Springer, 2013

    9400735812 / 9789400735811

    Series: Book 57 of 304 - Synthese Library

    • Softcover

    Seller: preigu, Osnabrück, Germanypreigu

    5-star seller
    Contact seller

    Condition: New

    US$ 165.19

    US$ 80.14 shipping 
    Ships from Germany to U.S.A.

    Quantity: 5 available

    Taschenbuch. Condition: Neu. Proof, Computation and Agency | Logic at the Crossroads | Johan Van Benthem (u. a.) | Taschenbuch | xxiv | Englisch | 2013 | Springer | EAN 9789400735811 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.

  • Language: English

    Published by Springer, 2011

    9400700792 / 9789400700796

    Series: Book 57 of 304 - Synthese Library

    • Hardcover

    Seller: Buchpark, Trebbin, GermanyBuchpark

    5-star seller
    Contact seller

    Condition: Used

    US$ 143.75

    US$ 120.20 shipping 
    Ships from Germany to U.S.A.

    Quantity: 1 available

    Condition: Hervorragend. Zustand: Hervorragend | Seiten: 372 | Sprache: Englisch | Produktart: Bücher | Proof, Computation and Agency: Logic at the Crossroads provides an overview of modern logic and its relationship with other disciplines. As a highlight, several articles pursue an inspiring paradigm called 'social software', which studies patterns of social interaction using techniques from logic and computer science. The book also demonstrates how logic can join forces with game theory and social choice theory. A second main line is the logic-language-cognition connection, where the articles collected here bring several fresh perspectives. Finally, the book takes up Indian logic and its connections with epistemology and the philosophy of science, showing how these topics run naturally into each other.

  • Language: English

    Published by Springer Verlag, 2010

    9400700792 / 9789400700796

    Series: Book 57 of 304 - Synthese Library

    • Hardcover

    Seller: Revaluation Books, Exeter, United KingdomRevaluation Books

    5-star seller
    Contact seller

    Condition: New

    US$ 274.44

    US$ 16.68 shipping 
    Ships from United Kingdom to U.S.A.

    Quantity: 2 available

    Hardcover. Condition: Brand New. 1st edition. 371 pages. 9.00x6.00x1.25 inches. In Stock.

  • Language: English

    Published by Springer, Springer, 2013

    9400735812 / 9789400735811

    Series: Book 57 of 304 - Synthese Library

    • Softcover

    Seller: AHA-BUCH GmbH, Einbeck, GermanyAHA-BUCH GmbH

    5-star seller
    Contact seller

    Condition: New

    US$ 264.96

    US$ 40.07 shipping 
    Ships from Germany to U.S.A.

    Quantity: 1 available

    Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - Proof, Computation and Agency: Logic at the Crossroads provides an overview of modern logic and its relationship with other disciplines. As a highlight, several articles pursue an inspiring paradigm called 'social software', which studies patterns of social interaction using techniques from logic and computer science. The book also demonstrates how logic can join forces with game theory and social choice theory. A second main line is the logic-language-cognition connection, where the articles collected here bring several fresh perspectives. Finally, the book takes up Indian logic and its connections with epistemology and the philosophy of science, showing how these topics run naturally into each other.