Discussió:Àlgebra de Heyting
   | Aquest article, o una part, prové d'una traducció de l'article sota llicència CC-BY-SA-3.0 i/o GFDL: «Álgebra de Heyting» (castellà). Consulteu l'historial de la pàgina original per a conèixer la llista d'autors. |
| Aquest article, o una part, prové d'una traducció de l'article sota llicència CC-BY-SA-3.0 i/o GFDL: «Álgebra de Heyting» (castellà). Consulteu l'historial de la pàgina original per a conèixer la llista d'autors. |