The predicate method to construct the Post lattice

From MaRDI portal
Publication:2889730