Pages that link to "First-order predicate calculus"
Jump to navigation
Jump to search
The following pages link to First-order predicate calculus:
Displaying 8 items.
- Boolean satisfiability problem (← links | edit)
- Axiom of choice (← links | edit)
- Database (← links | edit)
- First-order predicate (← links | edit)
- Original proof of Gödel's completeness theorem (← links | edit)
- Presburger arithmetic (← links | edit)
- Semantic network (← links | edit)
- Ontology (information science) (← links | edit)