In the textbook the authors define the integral via cauchy sequences of simple functions: $$S_n\to F:\quad\int F\mathrm{d}\mu:=\lim_n\int S_n\mathrm{d}\mu\quad\left(\int\|S_m-S_n\|\mathrm{d}\mu\to0\right)$$ Now, how come that this is really the usual Lebesgue integral for positive functions: $$f\geq0:\quad\int f\mathrm{d}\mu:=\lim_n\int s_n\mathrm{d}\mu=\sup_{s\leq f}\int s\mathrm{d}\mu$$
(I tried wiggling around with monotone and dominated convergence but couldn't get ahead.)
Shortcut
By Fatou it turns into an amazing one-liner: $$\int|f-s_n|\mathrm{d}\mu\leq\liminf_m\int|s_m-s_n|\mathrm{d}\mu\to0\implies\int|f|\mathrm{d}\mu<\infty$$ Especially one has then: $$\left|\int f\mathrm{d}\mu-\int s_n\mathrm{d}\mu\right|\leq\int|f-s_n|\mathrm{d}\mu\to0\implies\int f\mathrm{d}\mu=\lim_n\int s_n\mathrm{d}\mu$$
Ok, so after some tries I think I got it more or less...
The problem is that being cauchy does not imply having a dominant...
Amann & Escher Integral
(Hard Part)
Suppose $f_0\in\mathcal{L}_\mathfrak{AE}$.
First of all, the Amann & Escher integral is positive: $$f\geq0:\quad0\leq\int|s^+_m-s^+_n|\mathrm{d}\mu\leq\int|s_m-s_n|\mathrm{d}\mu\to0\implies0\leq\lim_n\int s^+_n\mathrm{d}\mu=\int_\mathfrak{AE}f\mathrm{d}\mu$$ (Thanks to the idea by PhoemueX!)
But also the Amann & Escher integral is obviously linear!
So the Amann & Escher integral is monotone: $$f\leq g:\quad0\leq\int_\mathfrak{AE}(f-g)\mathrm{d}\mu=\int_\mathfrak{AE}f\mathrm{d}\mu-\int_\mathfrak{AE}g\mathrm{d}\mu$$
Thus an increasing approximation is monotone and bounded whence cauchy: $$0\leq s_n\uparrow f_0:\quad\int s_{n-1}\mathrm{d}\mu\leq\int s_n\mathrm{d}\mu=\int_\mathfrak{AE}s_n\mathrm{d}\mu\leq\int_\mathfrak{AE}f_0\mathrm{d}\mu$$
Hence the Lebesgue integral agrees with the Amann & Escher integral: $$\int_\mathfrak{L}f_0\mathrm{d}\mu=\lim_n\int s_n\mathrm{d}\mu=\int_\mathfrak{AE}f_0\mathrm{d}\mu<\infty$$
Concluding $f_0\in\mathcal{L}_\mathfrak{L}$.
Lebesgue Integral
(Easy Part)
Conversely, suppose $f_0\in\mathcal{L}_\mathfrak{L}$.
By measurability it admits an increasing approximation so: $$0\leq s_n\uparrow f:\int|s_m-s_n|\mathrm{d}\mu\leq\int(f-s_m)\mathrm{d}\mu+\int(f-s_m)\mathrm{d}\mu\to0$$ (By the way, there's a fresh proof of this by PhoemueX: Lebesgue: Alternative Proof)
Hence the Amann & Escher integral agrees with the Lebesgue integral: $$\int_\mathfrak{AE}f_0\mathrm{d}\mu=\lim_n\int s_n\mathrm{d}\mu=\int_\mathfrak{L}f_0\mathrm{d}\mu$$
Concluding $f_0\in\mathcal{L}_\mathfrak{AE}$.