Completed ‘Introduction to Logic’ course offered by Michael Genesereth, Associate Professor, Stanford University. This course was offered through Coursera.org
The course started on 23rd April and the duration was 7 weeks. It was very well structured and the online proof editor were a treat to work with. The course also helped to the understand some of the concept in Compilers design.