Lecture Notes in Mathemetics: The Sntax and Semantics of Infiniary Languages