Changes

Jump to navigation Jump to search
m
no edit summary
* Regras para a '''disjunção'''<!--
--><p>[VIDEO]</p>
* Regras para o '''bottom''' (intuicionista) e para o '''top'''<!--
--><p>[VIDEO]</p>
* Regras para a '''negação''' intuicionista (primitivas versus derivadas)<!--

Navigation menu