Well-Structured Mathematical Logic by