Editing Prenex normal form (section)

==References==
* {{cite book|author=Richard L. Epstein|title=Classical Mathematical Logic: The Semantic Foundations of Logic|url=https://books.google.com/books?id=-7HpkQRvQhoC&q=%22prenex+normal+form%22&pg=PA108|date=18 December 2011|publisher=Princeton University Press|isbn=978-1-4008-4155-4|pages=108–}}
* {{cite book|author=[[Peter B. Andrews]]|title=An Introduction to Mathematical Logic and Type Theory: To Truth Through Proof|url=https://books.google.com/books?id=UaPuCAAAQBAJ&q=%22prenex+normal+form%22&pg=PA111|date=17 April 2013|publisher=Springer Science & Business Media|isbn=978-94-015-9934-4|pages=111–}}
* {{cite book|author=[[Elliott Mendelson]]|title=Introduction to Mathematical Logic, Fourth Edition|url=https://books.google.com/books?id=ZO1p4QGspoYC&q=%22prenex+normal+form%22&pg=PA109|date=1 June 1997|publisher=CRC Press|isbn=978-0-412-80830-2|pages=109–}}
* {{Citation | last1=Hinman | first1=Peter | title=Fundamentals of Mathematical Logic | publisher=[[A K Peters]] | isbn=978-1-56881-262-5 | year=2005}}

[[Category:Normal forms (logic)]]
{{Normal forms in logic}}