7β-Acylamino-3-alkoxycarbonyl-(and 3-keto)-1-carba (1-dethia)-3-cephem-4-carboxylic acids and derivatives and related 3-substituted compounds are provided as antibiotics useful for treating infections in man and other animals. Pharmaceutical formulations comprising the antibiotics, intermediates, and a process for their preparation are also provided.