A Hidden Herbrand Theorem: Combining the Object and Logic Paradigms Joseph Goguen Dept. Computer Science - Universal enveloping algebra - Document - PDFSEARCH.IO

First Page		Document Content
Date: 2001-11-18 00:50:05 Mathematical 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 Diego Add to Reading List Source URL: cseweb.ucsd.edu Download Document from Source Website File Size: 395,70 KB Share Document on Facebook

	201 Documenta Math. Quadratic Quaternion Forms, Involutions and Triality DocID: 1rnAz - View Document
	605 Documenta Math. Group C ∗ -Algebras as Compact Quantum Metric Spaces DocID: 1rbnP - View Document
	Quadric surface bundles over surfaces DocID: 1r7gK - View Document
	99 Documenta Math. Involutions and Trace Forms on Exterior Powers of a Central Simple Algebra DocID: 1r2m8 - View Document
	Quadric surface bundles over surfaces DocID: 1qRvz - View Document