Pages that link to "Many-sorted logic"

The following pages link to Many-sorted logic:

Showing 16 items.

• Order-sorted logic (redirect to section "Order-sorted logic") ‎ (links)
  • Unification (computer science) ‎ (links)
  • Subtyping ‎ (links)
• First-order logic ‎ (links)
• Cylindric algebra ‎ (links)
• Algebraic semantics (computer science) ‎ (links)
• System U ‎ (links)
• Many-sorted logic (transclusion) ‎ (links)
• Many sorted logic (redirect page) ‎ (links)
• Sorted ‎ (links)
• Constructive set theory ‎ (links)
• Extensions of First Order Logic ‎ (links)
• Glossary of logic ‎ (links)
• E (theorem prover) ‎ (links)
• Gödel (programming language) ‎ (links)
• List of mathematical logic topics ‎ (links)
• Leon Henkin ‎ (links)
• Category:Predicate logic ‎ (links)