scientific article; zbMATH DE number 150220

zbMATH Open0850.03022MaRDI QIDQ4032852FDOQ4032852

Authors: Takao Inoué 

Publication date: 1 April 1993

Title of this publication is not available (Why is that?)

zbMATH Keywords

translation between formal systems

Mathematics Subject Classification ID

Abstract deductive systems (03B22) Relative consistency and interpretations (03F25)

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4032852)