Title: Survey of Mathematics with Applications, Expanded Edition, ALC + MML