Article,

Comparing the strength of diagonally Nonrecursive Functions in the Absence of ∑20 Induction.

, , and .
J. Symb. Log., 80 (4): 1211-1235 (2015)

Meta data

Tags

Users

  • @dblp

Comments and Reviews