Functional interpretation and inductive definitions

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

Document Versions

Functional interpretation and inductive definitions –Jeremy Avigad, Henry Towsner — Journal of Symbolic Logic
Functional interpretation and inductive definitions –Jeremy Avigad, Henry Towsner — Journal of Symbolic Logic
Functional interpretation and inductive definitions –Jeremy Avigad, Henry Towsner — Journal of Symbolic Logic
Functional interpretation and inductive definitions –Jeremy Avigad, Henry Towsner — Journal of Symbolic Logic
Functional interpretation and inductive definitions –Jeremy Avigad, Henry Towsner — the Journal of Symbolic Logic