Back to Results
First PageMeta Content
Mathematical 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 Date: 2009-04-12 21:16:41

Open Document

File Size: 106,31 KB

Share Result on Facebook
UPDATE