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 and references:

  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 2265 ;     E-mail: chair.math[at]iisc[dot]ac[dot]in
Last updated: 28 May 2024