2008. Second Indian winter school on logic, 14-16 January. The Reasoner. 2, 3 (Mar. 2008).