The following pages link to First-order predicate logic:
Displayed 7 items.
- Willard Van Orman Quine (← links | edit)
- Z notation (← links | edit)
- Notation system (← links | edit)
- Von Neumann–Bernays–Gödel set theory (← links | edit)
- Semantics of logic (← links | edit)
- SETL (← links | edit)
- Method of analytic tableaux (← links | edit)