Elimination of Skolem functions for monotone formulas in analysis (0)

by Ulrich Kohlenbach
Citations:18 - 9 self