Title: Instructor's manual for Basic applied logic