First Page | Document Content | |
---|---|---|
![]() Date: 2000-08-02 12:13:45Mathematical logic Theoretical computer science Computable function Alfred Tarski Raphael M. Robinson Primitive recursive function Function Julia Robinson Numbering Computability theory Mathematics Theory of computation | Source URL: books.nap.eduDownload Document from Source WebsiteFile Size: 204,68 KBShare Document on Facebook |