equal
  deleted
  inserted
  replaced
  
    
    
|     42 <B>Links</B><BR> |     42 <B>Links</B><BR> | 
|     43 <A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/">Home</A><BR> |     43 <A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/">Home</A><BR> | 
|     44 <A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/publications.html">Publications</A><BR> |     44 <A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/publications.html">Publications</A><BR> | 
|     45 <A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/teaching.html">Teaching</A><BR> |     45 <A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/teaching.html">Teaching</A><BR> | 
|     46 <A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/travelling.html">Recent Talks</A><BR> |     46 <A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/travelling.html">Recent Talks</A><BR> | 
|     47 <A HREF="http://http://www.inf.kcl.ac.uk/staff/urbanc/Nominal/">My Research Group</A> |     47 <A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/Nominal/">My Research Group</A> | 
|     48 <BR> |     48 <BR> | 
|     49 <BR> |     49 <BR> | 
|     50  |     50  | 
|     51 <B>Handy Information</B><BR> |     51 <B>Handy Information</B><BR> | 
|     52 <A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/logic.html">People in Logic</A><BR>  |     52 <A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/logic.html">People in Logic</A><BR>  | 
|    507 </TR> |    507 </TR> | 
|    508  |    508  | 
|    509  |    509  | 
|    510 </TABLE> |    510 </TABLE> | 
|    511 <P> |    511 <P> | 
|    512 <!-- hhmts start --> Last modified: Fri Mar 25 11:45:40 GMT 2016 <!-- hhmts end --> |    512 <!-- hhmts start --> Last modified: Thu Apr  7 23:12:27 BST 2016 <!-- hhmts end --> | 
|    513 <a href="http://validator.w3.org/check/referer">[Validate this page.]</a> |    513 <a href="http://validator.w3.org/check/referer">[Validate this page.]</a> | 
|    514   |    514   | 
|    515 </BODY> |    515 </BODY> | 
|    516 </HTML> |    516 </HTML> |