Seminar on Logical Terms