User contributions for 2A02:1812:110C:DC00:B986:5D5E:97F8:8B78

16 October 2023

• 14:2214:22, 16 October 2023 diff hist +2,042 N SPASS No edit summary current
• 14:1714:17, 16 October 2023 diff hist +1,248 N Model elimination No edit summary current
• 12:1712:17, 16 October 2023 diff hist +11,579 N On Formally Undecidable Propositions of Principia Mathematica and Related Systems No edit summary current
• 08:5708:57, 16 October 2023 diff hist +3,347 N Geoffrey Hunter (logician) No edit summary current
• 08:4408:44, 16 October 2023 diff hist +5,497 N Herbrand's theorem No edit summary current