Report copyright - Strengths and weaknesses of LH arithmeticin that (1) LIOpen proves for any flxed m that §m¢log k 6= ƒ m¢log k, (2) TAC0, a theory that is slightly stronger than [k(T§ log k)
Please pass captcha verification before submit form
Please pass captcha verification before submit form