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 | Add to Reading List |