First Page | Document Content | |
---|---|---|
![]() Date: 2016-05-03 08:34:47Mathematics Theoretical computer science Computability theory Mathematical logic Theory of computation Turing machine Models of computation Busy beaver Halting problem ZermeloFraenkel set theory Computability Computable function | Add to Reading List |