[1]
U. Kohlenbach, “Higher Order Reverse Mathematics”, BRICS, bd. 7, nr. 49, jun. 2000.