equal
  deleted
  inserted
  replaced
  
    
    
|     31 <B>Links</B><BR> |     31 <B>Links</B><BR> | 
|     32 <A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/">Home</A><BR> |     32 <A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/">Home</A><BR> | 
|     33 <A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/publications.html">Publications</A><BR> |     33 <A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/publications.html">Publications</A><BR> | 
|     34 <A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/teaching.html">Teaching</A><BR> |     34 <A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/teaching.html">Teaching</A><BR> | 
|     35 <A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/travelling.html">Recent Talks</A><BR> |     35 <A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/travelling.html">Recent Talks</A><BR> | 
|     36 <A HREF="http://http://www.inf.kcl.ac.uk/staff/urbanc/Nominal/">My Research Group</A> |     36 <A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/Nominal/">My Research Group</A> | 
|     37 <BR> |     37 <BR> | 
|     38 <BR> |     38 <BR> | 
|     39  |     39  | 
|     40 <B>Handy Information</B><BR> |     40 <B>Handy Information</B><BR> | 
|     41 <A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/logic.html">People in Logic</A><BR>  |     41 <A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/logic.html">People in Logic</A><BR>  |