...
Please order the book now, so you have it ready for the first class in September!
You can also download it for free on the NTNU-network from here: http://www.springer.com/br/book/9783662437957
You may also read two papers, on Logics and Turtle, and a student found this paper:
...