Person I. MackieI. Mackie bei Springer Netherland Proof Theory and Automated Deduction Jean Goubault-LarrecqSpringer NetherlandSoftcover200153,49 €