Articles liés à Proof, Computation and Agency: Logic at the Crossroads
Synopsis
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.
Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.
Présentation de l'éditeur
This overview of modern logic and its relationship with other disciplines includes several articles that explore an inspiring new paradigm called 'social software', which studies patterns of social interaction using techniques from logic and computer science.
Les informations fournies dans la section « A propos du livre » peuvent faire référence à une autre édition de ce titre.
Acheter neuf
Afficher cet article
EUR 136,16
EUR 9,70 expédition depuis Allemagne vers France
Destinations, frais et délaisAutres éditions populaires du même titre
Résultats de recherche pour Proof, Computation and Agency: Logic at the Crossroads
Image fournie par le vendeur
Proof, Computation and Agency
Edité par
Springer Netherlands, 2013
ISBN 10 : 9400735812
ISBN 13 : 9789400735811
Neuf
Couverture souple
Vendeur : moluna, Greven, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. -offers a mixture of well-established authors and a new generation of feminist scholars-the relative dearth of collected volumes devoted to feminist epistemology in the last decade lends significance to the broad-ranging collection-represents significant de. N° de réf. du vendeur 5826603
Quantité disponible : Plus de 20 disponibles
Image d'archives
Proof, Computation and Agency: Logic at the Crossroads (Synthese Library, 352)
Vendeur : Ria Christie Collections, Uxbridge, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. In. N° de réf. du vendeur ria9789400735811_new
Quantité disponible : Plus de 20 disponibles
Image fournie par le vendeur
Proof, Computation and Agency
Edité par
Springer Netherlands Mai 2013, 2013
ISBN 10 : 9400735812
ISBN 13 : 9789400735811
Neuf
Taschenbuch
Vendeur : BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Taschenbuch. Etat : Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -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. 396 pp. Englisch. N° de réf. du vendeur 9789400735811
Quantité disponible : 2 disponible(s)
Image fournie par le vendeur
Proof, Computation and Agency : Logic at the Crossroads
Edité par
Springer Netherlands, Springer Netherlands, 2013
ISBN 10 : 9400735812
ISBN 13 : 9789400735811
Neuf
Taschenbuch
Vendeur : AHA-BUCH GmbH, Einbeck, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Taschenbuch. Etat : 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. N° de réf. du vendeur 9789400735811
Quantité disponible : 1 disponible(s)
Image fournie par le vendeur
Proof, Computation and Agency
Edité par
Springer Netherlands, Springer Netherlands Mai 2013, 2013
ISBN 10 : 9400735812
ISBN 13 : 9789400735811
Neuf
Taschenbuch
Vendeur : buchversandmimpf2000, Emtmannsberg, BAYE, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Taschenbuch. Etat : Neu. This item is printed on demand - Print on Demand Titel. Neuware -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.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 396 pp. Englisch. N° de réf. du vendeur 9789400735811
Quantité disponible : 1 disponible(s)
Image d'archives
Proof, Computation and Agency
Vendeur : Books Puddle, New York, NY, Etats-Unis
Évaluation du vendeur 4 sur 5 étoiles
Etat : New. pp. 396. N° de réf. du vendeur 26101684351
Quantité disponible : 4 disponible(s)
Image d'archives
Proof, Computation and Agency
impression à la demandeVendeur : Majestic Books, Hounslow, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. Print on Demand pp. 396 49:B&W 6.14 x 9.21 in or 234 x 156 mm (Royal 8vo) Perfect Bound on White w/Gloss Lam. N° de réf. du vendeur 108538784
Quantité disponible : 4 disponible(s)
Image d'archives
Proof, Computation and Agency
impression à la demandeVendeur : Biblios, Frankfurt am main, HESSE, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. PRINT ON DEMAND pp. 396. N° de réf. du vendeur 18101684341
Quantité disponible : 4 disponible(s)
Image d'archives
Proof, Computation and Agency: Logic at the Crossroads (Synthese Library, 352)
Vendeur : Lucky's Textbooks, Dallas, TX, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. N° de réf. du vendeur ABLIING23Apr0412070050352
Quantité disponible : Plus de 20 disponibles
Image d'archives
Proof, Computation and Agency: Logic at the Crossroads (Synthese Library, 352)
Vendeur : Best Price, Torrance, CA, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. SUPER FAST SHIPPING. N° de réf. du vendeur 9789400735811
Quantité disponible : 1 disponible(s)