Relation between intuitionistic logic and lattice.

From MaRDI portal
Publication:2590265