That being said, this book contains a good introduction to type-logical grammar and its first part would make a good textbook in an advanced course on the theory of type-logical grammar.
exercises are sprinkled throughout the book that will be illuminating to the uninitiated reader.