Research Catalog

Computability and logic.

Title
Computability and logic.
Author
Boolos, George.
Publication
Cambridge ; New York : Cambridge University Press, 2002.

Items in the Library & Off-site

Filter by

1 Item

StatusFormatAccessCall NumberItem Location
Request for On-site UseRequest Scan
Not available - Please for assistance.
TextUse in library QA9.59 .B66 2002Off-site

Details

Additional Authors
  • Burgess, John P., 1948-
  • Jeffrey, Richard C.
Description
xi, 356 p. : ill.; 27 cm.
Subject
  • Computable functions
  • Logic, Symbolic and mathematical
  • Recursive functions
Bibliography (note)
  • Includes bibliographical references (p. 348) and index.
ISBN
  • 0521809754
  • 0521007585 (pbk.)
LCCN
2001043302
Owning Institutions
Princeton University Library