[FOM] Prenex Normal Forms

Edwin Mares Edwin.Mares at vuw.ac.nz
Thu Jul 12 22:07:12 EDT 2007

Does anyone know who first proved the theorem that all wffs of first
order logic are equivalent to prenex normal form theorems and when this
was proven?

Edwin Mares
Victoria University of Wellington
P.O. Box 600
Wellington, New Zealand
Fax: 64+4-463-5370

More information about the FOM mailing list