User contributions for 212.95.5.249
Results for 212.95.5.249 talk block log logs global block log filter log
5 August 2024
- 16:1416:14, 5 August 2024 diff hist −2,408 Kâzım İnanç Not a reliable source, copy editing Tags: Manual revert references removed Visual edit Mobile edit Mobile web edit
4 November 2023
- 13:4813:48, 4 November 2023 diff hist +19 Intuitionistic logic →Double negations Tags: Mobile edit Mobile web edit
21 April 2023
- 21:4521:45, 21 April 2023 diff hist +39 Cantor's diagonal argument →Ordering of cardinals Tags: Mobile edit Mobile web edit
- 21:3921:39, 21 April 2023 diff hist −2 Cantor's diagonal argument →In the absence of excluded middle: State stricter statement Tags: Mobile edit Mobile web edit
- 21:3721:37, 21 April 2023 diff hist −2 Cantor's diagonal argument →In the absence of excluded middle Tags: Mobile edit Mobile web edit
- 21:1021:10, 21 April 2023 diff hist −6 Cantor's diagonal argument →In the absence of excluded middle: Cleanup notation Tags: Mobile edit Mobile web edit
- 16:4516:45, 21 April 2023 diff hist +10 Double-negation translation →Equivalent variants Tags: Mobile edit Mobile web edit
- 16:3316:33, 21 April 2023 diff hist +4 Heyting arithmetic →Theorems Tags: Mobile edit Mobile web edit
- 16:2116:21, 21 April 2023 diff hist 0 Heyting arithmetic →Theorems Tags: Mobile edit Mobile web edit
- 16:1316:13, 21 April 2023 diff hist 0 Heyting arithmetic →Theorems Tags: Mobile edit Mobile web edit
- 16:0716:07, 21 April 2023 diff hist +2 Heyting arithmetic →Realizability Tags: Mobile edit Mobile web edit
- 16:0116:01, 21 April 2023 diff hist +75 Heyting arithmetic →Theorems Tags: Mobile edit Mobile web edit
 | This is the contributions page for an IP user, identified by the user's IP address. Many IP addresses change periodically, and are often shared by several users. If you are an IP user, you may create an account or log in to avoid future confusion with other IP users. Registering also hides your IP address. |