Proof, Computation and Agency: Logic at the Crossroads - Synthese Library - Johan Van Benthem - Boeken - Springer - 9789400700796 - 7 april 2011
Indien omslag en titel niet overeenkomen, is de titel correct

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

Johan Van Benthem

Prijs
€ 192,49

Besteld in een afgelegen magazijn

Verwachte levering 20 dec. - 2 jan. 2025
Kerstcadeautjes kunnen tot en met 31 januari worden ingewisseld
Voeg toe aan uw iMusic-verlanglijst

Ook verkrijgbaar als:

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 Boeken     Hardcover Book   (Boek met harde rug en kaft)
Vrijgegeven 7 april 2011
ISBN13 9789400700796
Uitgevers Springer
Pagina's 372
Afmetingen 246 × 160 × 27 mm   ·   725 g
Uitgever Gupta, Amitabha
Uitgever Parikh, Rohit
Uitgever Van Benthem, Johan

Alles tonen

Meer door Johan Van Benthem