First Page | Document Content | |
---|---|---|
Date: 2001-11-18 00:50:05Mathematical structures Algebraic structures Algebras Algebra over a field Structure Term algebra Boolean algebra Universal enveloping algebra Clifford algebra Abstract algebra Algebra Mathematics | A Hidden Herbrand Theorem: Combining the Object and Logic Paradigms Joseph Goguen Dept. Computer Science & Engineering University of California, San DiegoAdd to Reading ListSource URL: cseweb.ucsd.eduDownload Document from Source WebsiteFile Size: 395,70 KBShare Document on Facebook |
201 Documenta Math. Quadratic Quaternion Forms, Involutions and TrialityDocID: 1rnAz - View Document | |
605 Documenta Math. Group C ∗ -Algebras as Compact Quantum Metric SpacesDocID: 1rbnP - View Document | |
Quadric surface bundles over surfacesDocID: 1r7gK - View Document | |
99 Documenta Math. Involutions and Trace Forms on Exterior Powers of a Central Simple AlgebraDocID: 1r2m8 - View Document | |
Quadric surface bundles over surfacesDocID: 1qRvz - View Document |