Computability & unsolvability /

Classic graduate-level introduction to theory of computability, usually referred to as theory of recurrent functions. New preface and appendix.

Bibliographic Details

Main Author:	Davis, Martin, 1928-2023 (Author)
Format:	Book
Language:	English
Published:	New York : Dover, 1982.
Edition:	Dover ed.
Series:	McGraw-Hill series in information processing and computers.
Subjects:	Recursive functions. Unsolvability (Mathematical logic) Computable functions. Fonctions récursives. Non-résolubilité (Logique mathématique) Fonctions calculables.
Online Access:	Table of contents Publisher description