Second-order arithmetic

From Free net encyclopedia