• Media type: E-Article
  • Title: A new characterization of complete Heyting and co-Heyting algebras
  • Contributor: Francesco Ranzato
  • imprint: 2017
  • Published in: Logical Methods in Computer Science
  • Language: English
  • DOI: 10.23638/LMCS-13(3:25)2017
  • ISSN: 1860-5974
  • Origination:
  • Footnote:
  • Access State: Open Access