Changes

Jump to navigation Jump to search
m
no edit summary
* Regras para a '''quantificação universal''' intuicionista<!--
--><p>[VIDEO]</p>
* Regras para a '''quantificação existencial''' intuicionista<!--
--><p>[VIDEO]</p>
* Regras para a '''igualdade'''<!--
--><p>[VIDEO]</p>

Navigation menu