Functional completeness of Henkin's propositional fragments

From MaRDI portal
Publication:2625146