Computability
By: by Klaus Weihrauch
Series: EATCS Monographs on Theoretical Computer Science -- 9; EATCS monographs on theoretical computer science -- 9.
Publisher: Springer Berlin Heidelberg
Published: 1987
Place of publication: Berlin, Heidelberg
Language: eng
Format: [electronic resource] /
Number of pages: 517
ISBN-13: 9783642699672; 9783642699658
Subjects: Logic design; Computer science; Computer software
Description: Intends to lay a common basis for the different branches of recursion theory. Leads from the very basic theory to modern concepts of computability. Consists of three consecutive parts: 1. Basic Concepts of Computability. 2. Traditional Recursion Theory. 3. Unified Type 2 theory of constructivity and computability on Baire's space including a general the- ory of representations.
Notes: Online full text is restricted to subscribers.

Also available in print.

Mode of access: World Wide Web.
Table of contents: title: Contents: Prerequisites and Notation; title: Basic Concepts of Computability; title: Type 1 Recursion Theory; title: Type 2 Theory of Constructivity and Computability; title: Bibliography; title: Index of Notations; title: Subject Index.