User contributions for 2A02:1812:110C:DC00:E5EA:DBC1:5236:5377
Results for 2A02:1812:110C:DC00:E5EA:DBC1:5236:5377 talk block log logs global block log filter log
10 October 2022
- 23:2023:20, 10 October 2022 diff hist −362 Deduction theorem Removed substitution case from proof—it is not a valid rule of deduction with hypotheses
- 23:1523:15, 10 October 2022 diff hist +76 Propositional calculus No edit summary
- 21:3021:30, 10 October 2022 diff hist +19 Second-order arithmetic No edit summary
- 21:1421:14, 10 October 2022 diff hist +49 Hermann Grassmann No edit summary
- 21:0821:08, 10 October 2022 diff hist 0 Erlangen program No edit summary
- 14:5614:56, 10 October 2022 diff hist −3 List of axiomatic systems in logic No edit summary
- 14:3214:32, 10 October 2022 diff hist +40 Quasi-quotation No edit summary
- 14:2114:21, 10 October 2022 diff hist +269 Truth-value semantics No edit summary
 | 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. |