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

publication date

  • January 1, 2005