Proof and Computation II : From Proof Theory and Univalent Mathematics to Program Extraction and Verification, Hardcover by Mainzer, Klaus (EDT); Schuster, Peter (EDT); Schwichtenberg, Helmut (EDT), ISBN 981123647X, ISBN-13 9789811236471, Brand New, Free shipping in the US
eBay