Logic, Proof and Computation

Paperback