This is an old revision of this page, as edited by Aleph0~enwiki(talk | contribs) at 23:30, 27 December 2006(Just redirect to "First order logic"). The present address (URL) is a permanent link to this revision, which may differ significantly from the current revision.Revision as of 23:30, 27 December 2006 by Aleph0~enwiki(talk | contribs)(Just redirect to "First order logic")
