[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
Philosophy
Victoria University of Wellington
P.O. Box 600
Wellington, New Zealand
64+4-463-5368
Fax: 64+4-463-5370




More information about the FOM mailing list