First Page | Document Content | |
---|---|---|
![]() Date: 2015-08-07 07:54:13Mathematics Mathematical logic Logic Foundations of mathematics Z notation ZermeloFraenkel set theory Determinacy Set theory Second-order arithmetic Constructible universe Model theory Descriptive set theory | Add to Reading List |