Sinossi
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.
Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.
Dalla quarta di copertina
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.
Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.
Altre edizioni note dello stesso titolo
Risultati della ricerca per Proof, Computation and Agency: Logic at the Crossroads:...
Foto dell'editore
Proof, Computation and Agency (Paperback)
Da: Grand Eagle Retail, Bensenville, IL, U.S.A.
Valutazione del venditore 5 su 5 stelle
Paperback. Condizione: new. Paperback. 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. 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. Shipping may be from multiple locations in the US or from the UK, depending on stock availability. Codice articolo 9789400735811
Compra nuovo
EUR 159,61
Spese di spedizione:
GRATIS
In U.S.A.
Quantità: 1 disponibili
Foto dell'editore
Proof, Computation and Agency: Logic at the Crossroads (Synthese Library, 352)
Da: Lucky's Textbooks, Dallas, TX, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: New. Codice articolo ABLIING23Apr0412070050352
Compra nuovo
EUR 159,62
Spese di spedizione:
EUR 3,46
In U.S.A.
Quantità: Più di 20 disponibili
Foto dell'editore
Proof, Computation and Agency: Logic at the Crossroads (Synthese Library, 352)
Da: Ria Christie Collections, Uxbridge, Regno Unito
Valutazione del venditore 5 su 5 stelle
Condizione: New. In. Codice articolo ria9789400735811_new
Compra nuovo
EUR 157,53
Spese di spedizione:
EUR 13,66
Da: Regno Unito a: U.S.A.
Quantità: Più di 20 disponibili
Immagini fornite dal venditore
Proof, Computation and Agency
Editore:
Springer Netherlands Mai 2013, 2013
ISBN 10: 9400735812
ISBN 13: 9789400735811
Nuovo
Taschenbuch
Da: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germania
Valutazione del venditore 5 su 5 stelle
Taschenbuch. Condizione: 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. Codice articolo 9789400735811
Compra nuovo
EUR 160,49
Spese di spedizione:
EUR 23,00
Da: Germania a: U.S.A.
Quantità: 2 disponibili
Immagini fornite dal venditore
Proof, Computation and Agency
Print on DemandDa: moluna, Greven, Germania
Valutazione del venditore 4 su 5 stelle
Condizione: 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. Codice articolo 5826603
Compra nuovo
EUR 136,16
Spese di spedizione:
EUR 48,99
Da: Germania a: U.S.A.
Quantità: Più di 20 disponibili
Foto dell'editore
Proof, Computation and Agency
Da: Books Puddle, New York, NY, U.S.A.
Valutazione del venditore 4 su 5 stelle
Condizione: New. pp. 396. Codice articolo 26101684351
Compra nuovo
EUR 194,11
Spese di spedizione:
EUR 3,46
In U.S.A.
Quantità: 4 disponibili
Immagini fornite dal venditore
Proof, Computation and Agency | Logic at the Crossroads
Da: preigu, Osnabrück, Germania
Valutazione del venditore 5 su 5 stelle
Taschenbuch. Condizione: 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. Codice articolo 105909920
Compra nuovo
EUR 141,30
Spese di spedizione:
EUR 70,00
Da: Germania a: U.S.A.
Quantità: 5 disponibili
Immagini fornite dal venditore
Proof, Computation and Agency
Editore:
Springer Netherlands, Springer Netherlands Mai 2013, 2013
ISBN 10: 9400735812
ISBN 13: 9789400735811
Nuovo
Taschenbuch
Da: buchversandmimpf2000, Emtmannsberg, BAYE, Germania
Valutazione del venditore 5 su 5 stelle
Taschenbuch. Condizione: 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. Codice articolo 9789400735811
Compra nuovo
EUR 160,49
Spese di spedizione:
EUR 60,00
Da: Germania a: U.S.A.
Quantità: 1 disponibili
Immagini fornite dal venditore
Proof, Computation and Agency : Logic at the Crossroads
Editore:
Springer Netherlands, Springer Netherlands, 2013
ISBN 10: 9400735812
ISBN 13: 9789400735811
Nuovo
Taschenbuch
Da: AHA-BUCH GmbH, Einbeck, Germania
Valutazione del venditore 5 su 5 stelle
Taschenbuch. Condizione: 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. Codice articolo 9789400735811
Compra nuovo
EUR 166,62
Spese di spedizione:
EUR 62,99
Da: Germania a: U.S.A.
Quantità: 1 disponibili
Foto dell'editore
Proof, Computation and Agency (Paperback)
Da: AussieBookSeller, Truganina, VIC, Australia
Valutazione del venditore 5 su 5 stelle
Paperback. Condizione: new. Paperback. 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. 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. Shipping may be from our Sydney, NSW warehouse or from our UK or US warehouse, depending on stock availability. Codice articolo 9789400735811
Compra nuovo
EUR 216,71
Spese di spedizione:
EUR 32,12
Da: Australia a: U.S.A.
Quantità: 1 disponibili