Proofs and Computations (Perspectives in Logic)
Publisher: Cambridge University Press
Published: Jan 16, 2012
Number of pages: 480
ISBN-13: 9780521517690