MA 210: Logic, Types and Spaces

Credits: 3:0

Pre-requisites :

  1. No prior knowledge of logic is assumed.
  2. Some background in algebra and topology will be assumed.
  3. It will be useful to have some familiarity with programming.

This course is an introduction to logic and foundations from both a modern point of view (based on type theory and its relations to topology) as well as in the traditional formulation based on first-order logic.


Suggested books :

  1. Homotopy Type Theory: Univalent Foundations of Mathematics ,Institute for Advanced Studies, Princeton 2013; available at
  2. Manin, Yu. I., A Course in Mathematical Logic for Mathematicians, Second Edition ,Graduate Texts in Mathematics, Springer-Verlag, 2010.
  3. Srivastava, S. M., A Course on Mathematical Logic, Universitext, Springer-Verlag, 2008 .

All Courses

Contact: +91 (80) 2293 2711, +91 (80) 2293 2625
E-mail: chairman.math[at]iisc[dot]ac[dot]in