Existence and feasibility in arithmetic (1971)

by R Parikh
Venue:Journal of Symbolic Logic