User contributions for 2A00:8A60:C010:1:0:0:1:103D
Jump to navigation
Jump to search
30 May 2025
- 15:5115:51, 30 May 2025 diff hist +120,389 N Propositional calculus →History: corrected claims from source that the source doesn't even claim; formal logic first came up in the 19th century with Frege's Begriffsschrift