FOM: Date: Mon, 5 Aug 2002 19:32:01 -0500 abuchan at
Tue Aug 6 10:23:48 EDT 2002

I am looking for a proof of the (in)completeness of FOL with substitutional
semantics. Does anyone know of a reference or have a quick proof sketch?

Andrew S Buchan
Department of Mathematics
University of Nebraska
Omaha, NE 68182-0243
TEL: (402) 554-2839
FAX: (402) 554-2975

More information about the FOM mailing list