The following pages link to Group extensions for 45 years (Q1110488):
Displaying 3 items.
- Emmy Noether's first great mathematics and the culmination of first-phase logicism, formalism, and intuitionism (Q633855) (← links)
- What Does it Take to Prove Fermat's Last Theorem? Grothendieck and the Logic of Number Theory (Q3163662) (← links)
- Relations as abstract datatypes: An institution to specify relations between algebras (Q5096763) (← links)
