Proof, Computation and Agency
Publisher: Springer
Published: Apr 15, 2011
Format: paperback
Number of pages: 396
ISBN-13: 9789400700819