User contributions for 83.55.108.92
For 83.55.108.92 talk block log logs filter log
27 March 2024
- 18:0918:09, 27 March 2024 diff hist −6 Bounded quantifier →Bounded quantifiers in arithmetic current
- 18:0818:08, 27 March 2024 diff hist −7 Bounded quantifier →Bounded quantifiers in arithmetic
- 17:4217:42, 27 March 2024 diff hist +56 Arithmetical hierarchy →The arithmetical hierarchy of formulas