Proof, Computation and Agency: Logic at the Crossroads (Synthese Library)
by
ISBN 13: 9789400700796
Format: Hardcover (424 pages) Publisher: Springer Published: 07 Apr 2011
Save for later