Proofs and Computations (Perspectives in Logic) | lit.salon