Higher Order Reverse Mathematics (2000)

by Ulrich Kohlenbach
Citations:9 - 3 self