First Page | Document Content | |
---|---|---|
![]() Date: 2015-01-29 08:56:57Finite groups Metalogic Mathematical logic Mathematical proofs Coq Feit–Thompson theorem Proof assistant Dade isometry Fundamental theorem of algebra Mathematics Abstract algebra Algebra | Add to Reading List |