Difference between revisions of "Modelos (lógica)"

From Logic Wiki
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]

Revision as of 20:16, 30 August 2020