Pages that link to "Prenex normal form"
Jump to navigation
Jump to search
The following pages link to Prenex normal form:
Displaying 21 items.
- First-order logic (← links)
- Original proof of Gödel's completeness theorem (← links)
- Arithmetical hierarchy (← links)
- Skolem normal form (← links)
- Canonical form (← links)
- Analytical hierarchy (← links)
- Post's theorem (← links)
- Tarski's axioms (← links)
- Tarski–Kuratowski algorithm (← links)
- Modal operator (← links)
- Bernays–Schönfinkel class (← links)
- Gödel numbering for sequences (← links)
- Conjunctive query (← links)
- Rules of passage (← links)
- True quantified Boolean formula (← links)
- Lévy hierarchy (← links)
- Quantifier rank (← links)
- Quantifier (logic) (← links)
- Testwiki:Reference desk/Archives/Mathematics/2011 June 24 (← links)
- Testwiki:Reference desk/Archives/Mathematics/2014 February 3 (← links)
- Testwiki:School and university projects/Discrete and numerical mathematics/Learning plan (← links)