Research Catalog

Computability, enumerability, unsolvability : directions in recursion theory

Title
Computability, enumerability, unsolvability : directions in recursion theory / edited by S.B. Cooper, T.A. Slaman, S.S. Wainer.
Publication
Cambridge [England] ; New York : Cambridge University Press, 1996.

Items in the Library & Off-site

Filter by

1 Item

StatusFormatAccessCall NumberItem Location
TextRequest in advance JSE 99-723Offsite

Details

Additional Authors
  • Cooper, S. B. (S. Barry)
  • Slaman, T. A. (Theodore Allen), 1954-
  • Wainer, S. S.
Description
vii, 347 p.; 23 cm.
Series Statement
London Mathematical Society lecture note series ; 224
Subject
  • Recursion theory
  • Mathematical logic
Bibliography (note)
  • Includes bibliographical references.
Call Number
JSE 99-723
ISBN
0521557364 (pbk.)
LCCN
95044750
OCLC
33668032
Title
Computability, enumerability, unsolvability : directions in recursion theory / edited by S.B. Cooper, T.A. Slaman, S.S. Wainer.
Imprint
Cambridge [England] ; New York : Cambridge University Press, 1996.
Series
London Mathematical Society lecture note series ; 224
Bibliography
Includes bibliographical references.
Indexed Term
Mathematical logic
Added Author
Cooper, S. B. (S. Barry)
Slaman, T. A. (Theodore Allen), 1954-
Wainer, S. S.
Research Call Number
JSE 99-723
View in Legacy Catalog