functionalanalysis functionsofonevariable functionsofrealvariables functionsofseveralvariables inequalities instructionalexposition(textbooks mathematicallogicandfoundations realfunctions settheory tutorialpapers