Title: Class logic
Subjects: Programmed instruction, Symbolic and mathematical Logic