Pages that link to "Prenex normal form"
Jump to navigation
Jump to search
The following pages link to Prenex normal form:
Displaying 11 items.
- First-order logic (← links)
- Original proof of Gödel's completeness theorem (← links)
- Arithmetical hierarchy (← links)
- Normal form (← links)
- Existence theorem (← links)
- Skolem normal form (← links)
- Canonical form (← links)
- Analytical hierarchy (← links)
- Post's theorem (← links)
- Lambda cube (← links)
- Vero - Wikipedia:WikiProject Mathematics/PlanetMath Exchange/03-XX Mathematical logic and foundations (← links)