The following pages link to Two-variable logic
External toolsShowing 13 items.
View (previous 50 | next 50) (20 | 50 | 100 | 250 | 500)- First-order logic (links | edit)
- Description logic (links | edit)
- Two-variable logic with counting (redirect to section "Counting quantifiers") (links | edit)
- Two-variable fragment (redirect page) (links | edit)
- Anca Muscholl (links | edit)
- Colour refinement algorithm (links | edit)
- Talk:Two-variable logic (transclusion) (links | edit)
- User:Sotiris1337/Books/Formal Systems (links | edit)
- User:Domcd/Books/Logic, philosophy, language, mathematics (links | edit)
- User:Operowland/Books/qin4 (links | edit)
- User:Maurice Fu/sandbox (links | edit)
- Misplaced Pages:WikiProject Mathematics/List of mathematics articles (S–U) (links | edit)
- Misplaced Pages:WikiProject Mathematics/List of mathematics articles (T) (links | edit)