Logic at the Crossroads (Set): Proof, Computation and Agency Games, Norms and Reasons

by Rohit Parikh, Johan van Benthem, Eric Pacuit

Proof, Computation and Agency Proof, Computation and Agency: Logic at the Cross Roads provides an overview of Logic and its relationship with other disciplines, and some of the emerging areas in... This description may be from another edition of this product.

• Format: Paperback
• Language: English
• ISBN: 940070920X
• ISBN13: 9789400709201
• Release Date: September 2012
• Publisher: Springer
• Length: 2 Pages