User contributions for 81.147.144.181
Jump to navigation
Jump to search
9 January 2014
- 05:1805:18, 9 January 2014 diff hist +9,145 N Compactness theorem →Proofs
6 January 2014
- 03:3003:30, 6 January 2014 diff hist +29,049 N Structure (mathematical logic) →Homomorphisms