Index of /~dpierce/papers/logic

[ICO]NameLast modifiedSizeDescription

[DIR]Parent Directory  -  
[TXT]first-order.tex16-Aug-2002 13:48 7.2K 
[TXT]first-trees.tex13-Aug-2002 14:02 405  
[   ]logic.bbl13-Aug-2002 14:02 1.3K 
[   ]logic.dvi16-Aug-2002 13:49 120K 
[   ]logic.pdf16-Aug-2002 13:49 268K 
[   ]logic.ps16-Aug-2002 13:49 313K 
[TXT]logic.tex16-Aug-2002 13:49 78K 
[   ]logic.toc13-Aug-2002 14:02 1.1K 
[TXT]old-examples.tex13-Aug-2002 14:02 1.3K 
[TXT]old-proof-systems.tex13-Aug-2002 14:03 4.2K 
[TXT]predicate.tex02-Aug-2002 13:39 14K 
[TXT]uniq-read-app.tex13-Aug-2002 14:03 3.7K 

Apache/2.2.14 (Ubuntu) Server at 491635.nbb6s.group Port 80