Back to Results
First PageMeta Content
Mathematical 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 Abstract
Add to Reading List

Document Date: 2012-08-08 19:03:01


Open Document

File Size: 320,92 KB

Share Result on Facebook