Provability Logics for Relative Interpretability | Institute for Logic, Language and Computation

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

ML-1988-03:: Dick de Jongh, Frank Veltman Provability Logics for Relative Interpretability
1.Full Text.

Back