Index of /~antoy/homepage/publications/goedel

	Name	Last modified	Size	Description
	Parent Directory		-
	abstract.txt	2000-04-23 14:01	509
	bibtex.txt	2000-04-23 14:24	376
	paper.dvi	2000-04-23 13:59	40K
	paper.pdf	2000-04-23 13:59	160K
	paper.ps.gz	2000-04-23 13:59	67K