Mathematical and philosophical logic.- Logic in Computer Science.- Foundations and philosophy of mathematics and the sciences.- Use of formal logic in areas of theoretical computer science and artificial intelligence.- Logic and Linguistics. History of logic.- Indian systems of logic.