↓ Skip to main content

Proof theory : an introduction

Overview of attention for book
Attention for Chapter 3: The autonomous ordinal of the infinitary system Z ∞ and the limits of predicativity
Altmetric Badge

Citations

dimensions_citation
90 Dimensions