Index of /~leavens/ComS641-Back-von-Wright/lectures/higher-order-logic

	Name	Last modified	Size	Description
	Parent Directory		-
	syntax.txt	2002-03-09 23:21	2.6K
	reasoning.txt	2002-02-08 18:37	2.0K
	semantics.txt	2002-03-09 23:21	1.8K
	Outline-files.txt	2002-01-27 23:51	79