Last 5 Pages Viewed: Special:MobileDiff/1003 » Special:MobileDiff/1142 » Special:MobileDiff/1092 » Special:MobileDiff/1141 » Special:MobileDiff/1130

Changes

Jump to navigation Jump to search

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

Revision as of 21:57, 3 September 2020

36 bytes added ,  21:57, 3 September 2020
m
no edit summary
* Como um ''conjunto indutivamente definido''<!--
--><p>[VIDEO]</p>
* Como uma ''álgebra absolutamente livre''(e também como ''objeto inicial'')<!--
--><p>[VIDEO]</p>
Retrieved from "http://carol.dimap.ufrn.br/logicwiki/index.php/Special:MobileDiff/1130"

Navigation menu