Research Catalog

Computability and logic

Title
Computability and logic / George S. Boolos, Richard C. Jeffrey.
Author
Boolos, George.
Publication
Cambridge ; New York : Cambridge University Press, 1989.

Items in the Library & Off-site

Filter by

1 Item

StatusFormatAccessCall NumberItem Location
Request for On-site UseRequest Scan
Not available - Please for assistance.
TextRequest in advance QA9.59 .B66 1989Off-site

Holdings

Details

Additional Authors
Jeffrey, Richard C.
Description
x, 304 pages : illustrations; 24 cm
Subject
  • Computable functions
  • Recursive functions
  • Logic, Symbolic and mathematical
Bibliography (note)
  • Includes bibliographical references and index.
ISBN
  • 052138026X
  • 0521389232 (pbk.)
LCCN
89032584
OCLC
  • 19589563
  • ocm19589563
Owning Institutions
Columbia University Libraries