To acquaint the students with the methods of modern mathematical logic. It aims at discussing the application of logic to mathematics, and metamathematical problems. With due attention to the results of Skolem, Lowenheim, Turing, Beth, Tarski and Godel, it aims at providing solutions and raising questions about mathematical theories.
- Teacher: CS13B032 AMATUL MUQUEETH
- Teacher: asingh Arindama Singh
- Teacher: CS12B037 DIKESH CHATURGOSHTHI
- Teacher: CS13B052 G.SRIKRISHNA
- Teacher: CS13B046 NUJELLA ARAVINDA KRISHNA KUMAR
- Teacher: ME13B054 PALLAMREDDY LALASA
- Teacher: CS09B034 UDAY CHOWHAN
- Teacher: CS13B054 YATAM SOWMITH