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