Proof, Language, and Interaction door Gordon Plotkin