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