Cover Image

Computability /

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...

Full description

Bibliographic Details
Main Author: Weihrauch, Klaus
Corporate Author: SpringerLink (Online service)
Format: eBook
Language:English
Published: Berlin, Heidelberg : Springer Berlin Heidelberg, 1987.
Series:EATCS monographs on theoretical computer science ; 9.
Subjects:
Computer science.
Computer software.
Logic design.
Electronic books.
Online Access:Connect to the full text of this electronic book
Description
Summary: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.
Item Description:Electronic resource.
Physical Description:1 online resource (x, 517 pages)
ISBN:9783642699658 (electronic bk.)
3642699650 (electronic bk.)
ISSN:1431-2654 ;