Open main menu
Logic Wiki

Changes

Definição recursiva da linguagem proposicional (view source)

Revision as of 21:56, 3 September 2020

8 bytes added ,  21:56, 3 September 2020
m
no edit summary
* Como um ''conjunto indutivamente definido''<!--
--><p>[VIDEO]</p>
* Como uma ''álgebra absolutamente livre''<!--
--><p>[VIDEO]</p>
Retrieved from "http://carol.dimap.ufrn.br/logicwiki/index.php/Special:MobileDiff/1129"