Elimination of Skolem functions for monotone formulas in analysis

by Ulrich Kohlenbach
Venue:ARCHIVE FOR MATHEMATICAL LOGIC
Citations:13 - 7 self