↓ Skip to main content

Proof theory : an introduction

Overview of attention for book
Attention for Chapter 4: Ordinal analysis of the formal theory for noniterated inductive definitions
Altmetric Badge

Citations

dimensions_citation
90 Dimensions