First Page | Document Content | |
---|---|---|
![]() Date: 2006-01-30 15:28:37Functions and mappings Model theory Computability theory Nonassociative algebra Principia Mathematica Primitive recursive function Function FO Constructible universe Mathematics Mathematical logic Logic | Source URL: www.research.ibm.comDownload Document from Source WebsiteFile Size: 327,27 KBShare Document on Facebook |