Name | Last modified | Size | Description | |
---|---|---|---|---|
Parent Directory | - | |||
first-order.tex | 16-Aug-2002 13:48 | 7.2K | ||
first-trees.tex | 13-Aug-2002 14:02 | 405 | ||
logic.bbl | 13-Aug-2002 14:02 | 1.3K | ||
logic.dvi | 16-Aug-2002 13:49 | 120K | ||
logic.pdf | 16-Aug-2002 13:49 | 268K | ||
logic.ps | 16-Aug-2002 13:49 | 313K | ||
logic.tex | 16-Aug-2002 13:49 | 78K | ||
logic.toc | 13-Aug-2002 14:02 | 1.1K | ||
old-examples.tex | 13-Aug-2002 14:02 | 1.3K | ||
old-proof-systems.tex | 13-Aug-2002 14:03 | 4.2K | ||
predicate.tex | 02-Aug-2002 13:39 | 14K | ||
uniq-read-app.tex | 13-Aug-2002 14:03 | 3.7K | ||