NASSLLI2025 Lecture slides from the NASSLLI 2025 course "Logic for Natural Language, Logic in Natural Language"