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

Crossroads

by: Johan van Benthem · Amitabha Gupta · Rohit Parikh

Hardcover

ISBN: 978-94-007-0079-6

ISBN-10: 94-007-0079-2

Springer · 2011