Related changes
Jump to navigation
Jump to search
Enter a page name to see changes on pages linked to or from that page. (To see members of a category, enter Category:Name of category). Changes to pages on your Watchlist are in bold.
List of abbreviations:
- N
- This edit created a new page (also see list of new pages)
- m
- This is a minor edit
- b
- This edit was performed by a bot
- (±123)
- The page size changed by this number of bytes
31 May 2024
| m 23:23 | Reductio ad Absurdum/Sequent Form diffhist −12 Prime.mover talk contribs | ||||
|
|
23:21 | Reductio ad Absurdum/Variant 2/Proof 1 2 changes history +29 [Prime.mover (2×)] | |||
| m |
|
23:21 (cur | prev) +1 Prime.mover talk contribs | |||
|
|
23:21 (cur | prev) +28 Prime.mover talk contribs | ||||
|
|
23:21 | Reductio ad Absurdum/Variant 2 2 changes history +29 [Prime.mover (2×)] | |||
|
|
23:21 (cur | prev) +28 Prime.mover talk contribs | ||||
| m |
|
23:18 (cur | prev) +1 Prime.mover talk contribs | |||
| m 17:43 | Modus Tollendo Ponens/Variant/Formulation 2 diffhist −49 Prime.mover talk contribs | ||||
| m 13:49 | Law of Excluded Middle/Sequent Form/Proof 2 diffhist +14 Prime.mover talk contribs | ||||