First-order logical duality

From MaRDI portal
Publication:1935870