User contributions for 198.2.93.167
Jump to navigation
Jump to search
10 January 2025
- 01:3101:31, 10 January 2025 diff hist +19,295 N Computability logic in classical logic it is arguments that are valid or invalid, rather than formulas current