Title of article :
Theories with self-application and computational complexity
Author/Authors :
Thomas Strahm، نويسنده ,
Issue Information :
روزنامه با شماره پیاپی سال 2003
Keywords :
Bounded applicative theories , Explicit mathematics , Feasible functionals , Bounded arithmetic
Journal title :
Information and Computation
Journal title :
Information and Computation
