User contributions for 82.25.27.218

1 April 2024

• 16:0516:05, 1 April 2024 diff hist +7,102 N Course-of-values recursion →References current

4 January 2024

• 18:5718:57, 4 January 2024 diff hist +9,379 N Higher-order abstract syntax No edit summary current
• 15:1015:10, 4 January 2024 diff hist +6,783 N Subjunctive possibility No edit summary current

3 January 2024

• 14:4214:42, 3 January 2024 diff hist +1,050 N Calculus of structures No edit summary current

27 December 2023

• 21:1521:15, 27 December 2023 diff hist +6,341 N József Beck No edit summary current

25 December 2023

• 23:3523:35, 25 December 2023 diff hist +6,525 N Infinity-Borel set No edit summary current

24 December 2023

• 15:3715:37, 24 December 2023 diff hist +5,318 N Equiconsistency No edit summary current