Second Indian Winter School on Logic, 14-16 January. tr 2008, 2 (3).