Functional interpretation and inductive definitions

by Jeremy Avigad , Henry Towsner
Venue:Journal of Symbolic Logic
Citations:8 - 3 self