View of An introduction to definitional equivalence and Morita-equivalence in the Many-Sorted First Order Logic

Return to Article Details An introduction to definitional equivalence and Morita-equivalence in the Many-Sorted First Order Logic Download Download PDF