First Page | Document Content | |
---|---|---|
![]() Date: 2010-12-13 20:01:59Mathematical constructivism Quantification Functions and mappings Computability theory Intuitionism Universal quantification Constructivism Interpretation Intuitionistic logic Mathematical logic Logic Mathematics | Source URL: arxiv.orgDownload Document from Source WebsiteFile Size: 327,19 KBShare Document on Facebook |