
Recursively Enumerable Sets and Degrees
A Study of Computable Functions and Computably Generated Sets
Robert I. Soare(Author)
Springer (Publisher)
Published on 1. November 1999
Book
Hardback
XVIII, 437 pages
978-3-540-15299-6 (ISBN)
Description
..."The book, written by one of the main researchers on the field, gives a complete account of the theory of r.e. degrees. .... The definitions, results and proofs are always clearly motivated and explained before the formal presentation; the proofs are described with remarkable clarity and conciseness. The book is highly recommended to everyone interested in logic. It also provides a useful background to computer scientists, in particular to theoretical computer scientists." Acta Scientiarum Mathematicarum, Ungarn 1988 ..."The main purpose of this book is to introduce the reader to the main results and to the intricacies of the current theory for the recurseively enumerable sets and degrees. The author has managed to give a coherent exposition of a rather complex and messy area of logic, and with this book degree-theory is far more accessible to students and logicians in other fields than it used to be." Zentralblatt für Mathematik, 623.1988
More details
Series
Edition
1st ed. 1987. 2nd printing 1999
Language
English
Place of publication
Berlin
Germany
Publishing group
Springer Berlin
Target group
College/higher education
Professional and scholarly
Research
Product notice
Laminated cover
Illustrations
biography
Dimensions
Height: 23.5 cm
Width: 15.5 cm
Thickness: 25 mm
Weight
898 gr
ISBN-13
978-3-540-15299-6 (9783540152996)
DOI
10.1007/978-3-662-02460-7
Schweitzer Classification
Other editions
Additional editions

Robert I. Soare
Recursively Enumerable Sets and Degrees
A Study of Computable Functions and Computably Generated Sets
Book
08/2014
Springer
€117.69
Shipment within 10-15 days