Report copyright - LOGIC I · LOGIC I 3 5. Adding a redundant quanti er. For any formula ’and any xnot occurring in ’: ’!8x’ Let us call LOG L the collection of axioms of logic for L. The following
Please pass captcha verification before submit form
Please pass captcha verification before submit form