Deductive system: Difference between revisions
Content deleted Content added
←Redirected page to Formal system#Deductive inference |
m Bot: Fixing broken section link Tag: Redirect target changed |
||
| Line 1: | Line 1: | ||
#REDIRECT [[Formal system#Deductive |
#REDIRECT [[Formal system#Deductive system]] |
||
{{R from merge}} |
{{R from merge}} |
||
Latest revision as of 08:48, 24 May 2020
Redirect to:
- From a merge: This is a redirect from a page that was merged into another page. This redirect was kept in order to preserve the edit history of this page after its content was merged into the content of the target page. Please do not remove the tag that generates this text (unless the need to recreate content on this page has been demonstrated) or delete this page.
- For redirects with substantive page histories that did not result from page merges use {{R with history}} instead.