<?xml version="1.0" encoding="UTF-8"?>
<posts update='2008-07-09 19:34:34' user=""><post 
   href="http://www.cc.utah.edu/~nahaj/logic/" 
   description="John Halleck&#039;s Logic Pages" 
   
   hash="062a726fc7d20642bb186c04ce5883eb"
   user="brenz"
   tag="fnd pers "
   time="2006-11-08T10:03:28+0100" />
<post 
   href="http://www.phil.cam.ac.uk/teaching_staff/Smith/" 
   description="Peter Smith" 
   
     extended="Cambridge" 
   
   hash="1b3d30a6d84d7e72134c932d0dc06517"
   user="brenz"
   tag="fnd pers "
   time="2006-07-25T16:49:05+0200" />
<post 
   href="http://people.csail.mit.edu/dnj/" 
   description="Daniel Jackson" 
   
     extended="MIT" 
   
   hash="3e910f66d831a0c638fbdfac270ee4c1"
   user="brenz"
   tag="fnd fnd.lfm pers swt "
   time="2006-07-25T16:48:48+0200" />
<post 
   href="http://alpha.uhasselt.be/~vdbuss/index.html" 
   description="Jan Van den Bussche" 
   
     extended="Universiteit Hasselt" 
   
   hash="70403e885098bd11293352af1cf305eb"
   user="brenz"
   tag="db fnd pers "
   time="2006-07-25T16:44:17+0200" />
<post 
   href="http://www.cs.rice.edu/~vardi/" 
   description="Moshe Y. Vardi" 
   
     extended="Rice University Houston" 
   
   hash="1eaaa09b43ff2de803888a549dc56b5f"
   user="brenz"
   tag="fnd pers "
   time="2006-07-25T16:43:00+0200" />
<post 
   href="http://mitpress.mit.edu/sicp/full-text/book/book.html" 
   description="Structure and Interpretation of Computer Programs" 
   
     extended="Online version" 
   
   hash="cc152f3f73e89585684bee04f79ddc5d"
   user="brenz"
   tag="fnd "
   time="2006-06-23T22:21:51+0200" />
<post 
   href="http://dl.kr.org/" 
   description="Description Logics" 
   
   hash="43ac2d1c1babc264071e0d9f989765e1"
   user="brenz"
   tag="fnd "
   time="2006-04-11T13:43:22+0200" />
<post 
   href="http://www.phil.cam.ac.uk/teaching_staff/Smith/LaTeX/" 
   description="LaTeX for Logicians" 
   
   hash="c9ef8f226d03147a332393c1d40552b2"
   user="brenz"
   tag="fnd tex "
   time="2006-04-04T18:03:29+0200" />
</posts>
