Report - 5/21/2015ITK 3271 Reason Computability 1. Logic 2. Recursive, λ-terms 3. Turing machines Functional languages e.g. LISP, ML Imperative languages e.g.

Please pass captcha verification before submit form