Subject Area: CS Basics (Logics, Discrete Mathematics)
in CIDEC Library.

### RECURSION THEORY

Joseph Robert **SHOENFIELD**, 1927- , Duke University, Durham, NC, USA
Series:
Lecture Notes in Logic. Vol. 1

Eds.: K. Fine; J.-Y. Girard; A. Lachlan; T. Slaman; H. Woodin.

**Publisher : **
Springer-Verlag - Berlin ; New York

**Bibliographic : **

- Softcover 150g (acid-free)
- ISBN: 3-540-57093-4
- © 1993
- VII, 84 p. ; 24 cm
- Dewey No.: 511.3/5 20

- Recursion theory
- Rekursive Funktionen; Hierarchietheorie; Unentscheidbare Theorien

- M13100 Logic,Foundations,Set Theory
- M18021 Algebraic Geometry
- I16048 Mathematical Logic and Formal Languages

**DESCRIPTION: **
This is an introduction to recursive functions intended for graduate students. It presupposes some mathematical maturity and a slight aquaintance with some important topics, such as group theory and topology. Some acquaintance with logic is desirable but not essential. It introduces the main topics of recusion theory, such as hierarchy theory, RE sets, and undecidable theories, without going very deeply into any of them.

**CONTENTS: **

Includes index.

**BOOK CATEGORY: **Monograph

Changed 20/01/1997. Comments: monika@cs.ioc.ee