Jump to content

Recursive on the number of variables

From Wikipedia, the free encyclopedia
This is the current revision of this page, as edited by Roman Spinner (talk | contribs) at 20:20, 12 August 2022 (Redirecting main title header delineating the long form, Recursive on the number of variables, to its short form, Structural induction). The present address (URL) is a permanent link to this version.
(diff) ← Previous revision | Latest revision (diff) | Newer revision → (diff)
  • From a longer title: This is a redirect from a title that is a complete, more complete or longer version of the topic's name. It leads to the title in accordance with the naming conventions for common names and can help writing and searches. However, do not replace these redirected links with a piped link unless the page is updated for another reason.