First Page | Document Content | |
---|---|---|
Date: 2012-08-08 19:03:01Mathematical logic Mathematics Logic Type theory Model theory Hierarchy Interpretation Axiom Sheaf Theory Implementation of mathematics in set theory ZermeloFraenkel set theory | Dtre|A Semi-Automatic Transformation System Lee Blaine and Allen Goldberg Kestrel Institute, 3260 Hillview Avenue, Palo Alto, California 94304, USA AbstractAdd to Reading ListSource URL: www.kestrel.eduDownload Document from Source WebsiteFile Size: 320,92 KBShare Document on Facebook |