Programmes related to SYMBOLIC LOGIC AND INDUCTIVE THINKING