Misplaced Pages

The following pages link to Structural induction

• (link count
• transclusion count
• sorted list) · See help page for transcluding these entries

Showing 50 items.

• Induction (links | edit)
• Mathematical induction (links | edit)
• Recursion (links | edit)
• Sprague–Grundy theorem (links | edit)
• Structural recursion (redirect page) (links | edit)
  • Universe (mathematics) (links | edit)
  • Von Neumann–Bernays–Gödel set theory (links | edit)
  • Recursion (computer science) (links | edit)
  • Inductive type (links | edit)
  • Talk:Recursive data type (links | edit)
• Well-founded relation (links | edit)
• Intuitionistic type theory (links | edit)
• List of mathematical logic topics (links | edit)
• Program synthesis (links | edit)
• Loop invariant (links | edit)
• Recursive definition (links | edit)
• Structured program theorem (links | edit)
• Induction on the structure (redirect page) (links | edit)
  • Brouwer–Heyting–Kolmogorov interpretation (links | edit)
• Recursion (computer science) (links | edit)
• Coinduction (links | edit)
• Alexey Ivakhnenko (links | edit)
• Inductive type (links | edit)
• Completeness of atomic initial sequents (links | edit)
• Dependence logic (links | edit)
• Thompson's construction (links | edit)
• Path ordering (term rewriting) (links | edit)
• Dafny (links | edit)
• Recursive on the number of variables (redirect page) (links | edit)
  • Unification (computer science) (links | edit)
• Refocusing (semantics) (links | edit)
• Val Tannen (links | edit)
• Talk:Mathematical induction (links | edit)
• Talk:Unification (computer science) (links | edit)
• Talk:Structural induction (transclusion) (links | edit)
• Talk:Ackermann function (links | edit)
• Talk:Three forms of mathematical induction (links | edit)
• Talk:Partially ordered set (links | edit)
• Talk:Ordinal arithmetic (links | edit)
• Talk:Mathematical induction/Archive (links | edit)
• User:Pengo/comp (links | edit)
• User:Alexsmail (links | edit)
• User:Gregbard/old watchlist (links | edit)
• User:VeblenBot/List of mathematical logic articles (links | edit)
• User:FrescoBot/WildBotlist3 (links | edit)
• User:Soobtoob/Books/Logic (links | edit)
• User:Xh286286/sandbox (links | edit)
• User:Gregbard/old watchlist2 (links | edit)
• User:Tompw/Books/Mathematics (links | edit)
• User:Tompw/Books/Mathematics (S) (links | edit)
• User:Infometrix/Books/NETWORK (links | edit)
• User:Damodar reddy1/Books/ma3 (links | edit)
• User:Manoj kumar regar/Books/Algorithms (links | edit)
• User:Artisticidea/Books/Graph Theory (links | edit)
• User:Vlenceleuth/Books/Mathematics - Working Foundations (links | edit)
• User:Domcd/Books/Logic, philosophy, language, mathematics (links | edit)
• User:Jochen Burghardt/sandbox4 (links | edit)