Functional interpretation and inductive definitions

by Jeremy Avigad , Henry Towsner
Venue:Journal of Symbolic Logic
Citations:7 - 2 self