Return to Article Details An algebra of the central types of the mutually model-consistent fragments Download Download PDF