نظریه تابع بازگشتی و منطق (علوم کامپیوتر و ریاضیات کاربردی)

Content: pt. I. Recursive function theory. Turing machines -- Semi-Thue and Thue systems -- Enumerations and Gödel numbering -- Recursive functions -- Equivalence of recursive and Turing-computable functions -- Inside recursive functions -- Recursively enumerable sets -- Recursive and recursively enumerable relations -- pt. II. Mathematical logic. The propositional calculus as an example -- Introduction to first-order languages and relational systems -- First-order theories without equality -- First-order theories with equality -- Herbrand's theorem -- Decidable and undecidable theories.