ML-1988-03: Provability Logics for Relative Interpretability

ML-1988-03: de Jongh, Dick and Veltman, Frank (1988) Provability Logics for Relative Interpretability. [Report]

[thumbnail of Full Text]
Text (Full Text)

Download (1MB) | Preview
Item Type: Report
Report Nr: ML-1988-03
Series Name: Mathematical Logic and Foundations (ML)
Year: 1988
Date Deposited: 12 Oct 2016 14:40
Last Modified: 12 Oct 2016 14:40

Actions (login required)

View Item View Item