First Page | Document Content | |
---|---|---|
![]() Date: 2007-07-08 19:58:00Theoretical computer science Mathematical logic Theory of computation Recursion Primitive recursive function Function Μ operator Fixed-point combinator Mathematics Computability theory Functions and mappings | Add to Reading List |