Index of /~dpierce/papers/logic

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