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

by: Amitabha Gupta · Rohit Parikh · Johan van Benthem · Eric Pacuit Paperback details (USA). ISBN: 978-94-007-0920-1 ISBN-10: 94-007-0920-X Springer · 2012