Difference between revisions of "Modelos (lógica)"
Jump to navigation
Jump to search
Tag: 2017 source edit |
m Tag: 2017 source edit |
||
| Line 12: | Line 12: | ||
== Links externos == | == Links externos == | ||
| − | * [https://pt.wikipedia.org/wiki/%C3%81lgebra_booliana] | + | * [https://pt.wikipedia.org/wiki/%C3%81lgebra_booliana Álgebra de Boole] |
| − | * [https://en.wikipedia.org/wiki/Heyting_algebra] | + | * [https://en.wikipedia.org/wiki/Heyting_algebra Álgebra de Heyting] |
