User contributions for 2A02:1812:110C:DC00:B986:5D5E:97F8:8B78
Jump to navigation
Jump to search
16 October 2023
- 19:1719:17, 16 October 2023 diff hist +1,253 N Model elimination No edit summary current
- 17:1717:17, 16 October 2023 diff hist +11,595 N On Formally Undecidable Propositions of Principia Mathematica and Related Systems No edit summary current
- 13:4413:44, 16 October 2023 diff hist +5,523 N Herbrand's theorem No edit summary current