Room 327

Lindstrom's Theorem

Ramanathan S Thinniyam

IMSc

(Logic Seminar)

*** Please note change in timings, due to the Turing talk on Lamport at IIT-M ***