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