## Proof-theoretic analysis by iterated reflection

by
L. D. Beklemishev

Venue: | Arch. Math. Logic |

Citations: | 4 - 1 self |

by
L. D. Beklemishev

Venue: | Arch. Math. Logic |

Citations: | 4 - 1 self |