AAAAAA

   
Results: 1-3 |
Results: 3
ELIMINATION OF SKOLEM FUNCTIONS FOR MONOTONE FORMULAS IN ANALYSIS
Authors: KOHLENBACH U
Citation: U. Kohlenbach, ELIMINATION OF SKOLEM FUNCTIONS FOR MONOTONE FORMULAS IN ANALYSIS, Archive for mathematical logic, 37(5-6), 1998, pp. 363-390
ON THE ARITHMETICAL CONTENT OF RESTRICTED FORMS OF COMPREHENSION, CHOICE AND GENERAL UNIFORM BOUNDEDNESS
Authors: KOHLENBACH U
Citation: U. Kohlenbach, ON THE ARITHMETICAL CONTENT OF RESTRICTED FORMS OF COMPREHENSION, CHOICE AND GENERAL UNIFORM BOUNDEDNESS, Annals of pure and applied Logic, 95(1-3), 1998, pp. 257-285
EFFECTIVE MODULI FROM INEFFECTIVE UNIQUENESS PROOFS - AN UNWINDING OFDE LA VALLEE POUSSINS PROOF FOR CHEBYSHEV-APPROXIMATION
Authors: KOHLENBACH U
Citation: U. Kohlenbach, EFFECTIVE MODULI FROM INEFFECTIVE UNIQUENESS PROOFS - AN UNWINDING OFDE LA VALLEE POUSSINS PROOF FOR CHEBYSHEV-APPROXIMATION, Annals of pure and applied Logic, 64(1), 1993, pp. 27-94
Risultati: 1-3 |