ENGLISH

Computability

By Klaus Weihrauch

Book information

Publisher
Springer
Year
1987
ISBN
978-3-642-69967-2, 978-3-642-69965-8
DOI
10.1007/978-3-642-69965-8
Language
english
Format
PDF
Filesize
17 MB (18067772 bytes)
Series
EATCS Monographs on Theoretical Computer Science 9
Pages
526\526
Orientation
landscape
Paginated
yes
Scanned
yes
Time added
2013-08-01 04:00:00
Computation by Abstract Devices; Algorithm Analysi

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 theory of representations.

Similar books