Proof, Computation and Agency: Logic at the Crossroads - Synthese Library - Johan Van Benthem - Books - Springer - 9789400700796 - April 7, 2011
In case cover and title do not match, the title is correct

Proof, Computation and Agency: Logic at the Crossroads - Synthese Library

Johan Van Benthem

Price
CA$ 259.99

Ordered from remote warehouse

Expected delivery Dec 24 - Jan 8, 2025
Christmas presents can be returned until 31 January
Add to your iMusic wish list

Also available as:

Proof, Computation and Agency: Logic at the Crossroads - Synthese Library

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.


400 pages, biography

Media Books     Hardcover Book   (Book with hard spine and cover)
Released April 7, 2011
ISBN13 9789400700796
Publishers Springer
Pages 372
Dimensions 246 × 160 × 27 mm   ·   725 g
Editor Gupta, Amitabha
Editor Parikh, Rohit
Editor Van Benthem, Johan

Show all

More by Johan Van Benthem