Title: Logic and proof
Subjects: Programmed instruction, Logic, Symbolic and mathematical, Symbolic and mathematical Logic, Beweis, Logik, Mathematik