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 |