Analysis and Logic: Alternative Formulations of the Theory