For theories at the level of second-order arithmetic , the reverse mathematics program has much to say .
For theories at the level of second-order arithmetic , the reverse mathematical program has much to say .
For theories at the level of second-order arithmetic , the reverse mathematical program has much to say .
Formulieren Sie diesen Text neu: For theories at the level of second-order arithmetic , the reverse mathematics program has much to say . Ausgabe: