A Note on the Interpretability Logic of Finitely Axiomatized Theories | Institute for Logic, Language and Computation

Mathematical Logic and Foundations (ML) Series (1988-1998)

ML-1990-07:: Maarten de Rijke A Note on the Interpretability Logic of Finitely Axiomatized Theories
1.Full Text.

Back