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

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 |