Barua, Rana2017-02-272017-02-271984-11American Mathematical Society, v.286, no.1, p.125-158http://hdl.handle.net/10263/6738enMathematical inductionGamesApproximationLogical theoremsMathematical descriptionsAnalyticsR-sets and categoryArticle