Formalized Music: Thought and Mathematics in Composition (Harmonologia Series)