ML-1989-09: Provable Fixed Points in $I\Delta_0+\Omega_1$.

ML-1989-09: Carbone, Allesandro (1989) Provable Fixed Points in $I\Delta_0+\Omega_1$. [Report]

[thumbnail of Full Text]
Preview
Text (Full Text)
ML-1989-09.text.pdf

Download (1MB) | Preview
Item Type: Report
Report Nr: ML-1989-09
Series Name: Mathematical Logic and Foundations (ML)
Year: 1989
Date Deposited: 12 Oct 2016 14:40
Last Modified: 12 Oct 2016 14:40
URI: https://eprints.illc.uva.nl/id/eprint/1291

Actions (login required)

View Item View Item