Second Indian winter school on logic, 14-16 January. The Reasoner, v. 2, n. 3, 1 Mar.2008.