Higher Order Reverse Mathematics (2000)

by Ulrich Kohlenbach
Citations:6 - 2 self