User contributions for 177.17.129.48
For 177.17.129.48 talk block log logs filter log
21 August 2016
- 04:5804:58, 21 August 2016 diff hist +245 Talk:Quietism (philosophy) →Linked to 'Quietism (Christian philosophy)' in other languages: new section
- 00:2400:24, 21 August 2016 diff hist +40 Provability logic →Examples: Added turnstile symbol to the Necessitation rule
 | 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. |