𝔖 Scriptorium
✦   LIBER   ✦
πŸ“

Recursive function theory and logic

✍ Scribed by Ann Yasuhara

Publisher
Academic Press
Year
1971
Tongue
English
Leaves
360
Series
Computer science and applied mathematics
Edition
First Edition
Category
Library
⬇  Acquire This Volume

No coin nor oath required. For personal study only.

✦ Table of Contents


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.

πŸ“œ SIMILAR VOLUMES

Complexity, logic, and recursion theory
πŸ“ Complexity, logic, and recursion theory
✍ Sorbi, Andrea πŸ“‚ Library πŸ“… 2019 πŸ› CRC Press 🌐 English

"Integrates two classical approaches to computability. Offers detailed coverage of recent research at the interface of logic, computability theory, nd theoretical computer science. Presents new, never-before-published results and provides informtion not easily accessible in the literature."</div> <

Complexity, logic, and recursion theory
πŸ“ Complexity, logic, and recursion theory
✍ Andrea Sorbi πŸ“‚ Library πŸ“… 1997 πŸ› CRC Press 🌐 English

Integrating two classical approaches to computability, this timely reference offers detailed coverage of recent research at the interface of logic, computability theory, and theoretical computer science. Presents new, never-before-published results and provides information not easily accessible in t