Report - Axiomas do Mundo dos Blocos Algumas Inferências Analíticas ...lc.ssdi.di.fct.unl.pt/1415/teoricas/aula_lc_16.pdf · 2 – O símbolo funcional +/2 para além de alguma axiomatização

Please pass captcha verification before submit form