First Page | Document Content | |
---|---|---|
![]() Date: 2009-04-12 21:16:41Mathematical logic Theory of computation Theoretical computer science Models of computation Entscheidungsproblem Alonzo Church Stephen Cole Kleene Turing machine Lambda calculus Mathematics Computability theory Logic | Document is deleted from original location. Download Document from Web Archive |