Dual categories for endodualisable Heyting algebras: optimization and axiomatization Academic Article uri icon

publication date

  • August 2005