Pancham Thali Science City : Proof theory in computer science: