Pensum -10%Proof Theory and Automated DeductionI. Mackie, Jean Goubault-LarrecqPocketEngelskDel av serien Applied Logic SeriesLegg i handlekurvUtsolgt