Report - Introdu¸c˜ao a L´ogica Matem´atica - cyan-lang.org · Explique o que ´e um sistema formal, axioma, regra de dedu¸c˜ao, teorema e meta-teorema. ... utiliz´a-la explicitamente.

Select PornographicDefamatoryIllegal/UnlawfulSpamOther Terms Of Service ViolationFile a copyright complaint

Please pass captcha verification before submit form