Pages that link to "Substitution instance"
Showing 26 items.
- Preorder (links | edit)
- Raven paradox (links | edit)
- Instantiation (links | edit)
- Formal system (transclusion) (links | edit)
- Herbrand's theorem (links | edit)
- Condensed detachment (links | edit)
- Tautology (logic) (links | edit)
- Outline of logic (links | edit)
- Explicit substitution (links | edit)
- Encompassment ordering (links | edit)
- Talk:Formal system (links | edit)
- Talk:Substitution instance (links | edit)
- Talk:Interpretation (logic)/Archive 1 (links | edit)
- Talk:Tautology (logic)/Archive 1 (links | edit)
- User:Mathbot/List of mathematical redlinks (S) (links | edit)
- User:Fropuff/Redlinks (links | edit)
- User:Salih/MathRedlinks (links | edit)
- User:Gregbard/old watchlist (links | edit)
- User:Gregbard/old watchlist2 (links | edit)
- User:LinguisticMystic/zhwikt (links | edit)
- User talk:CBM/Archive 7 (links | edit)
- User talk:Gregbard/Archive 2 (links | edit)
- Wikipedia:Reference desk/Archives/Mathematics/2010 June 6 (links | edit)
- Wikipedia:Contributor copyright investigations/20130330 (links | edit)
- Wikipedia talk:WikiProject Logic/Standards for notation (links | edit)
- Wikipedia talk:WikiProject Mathematics/Archive/2009/Dec (links | edit)