Research Catalog

Computability and logic /

Title
Computability and logic / George Boolos, Richard Jeffrey.
Author
Boolos, George.

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 1989Off-site

Details

Additional Authors
Jeffrey, Richard C.
Description
x, 304 p. ; ill.; 24 cm.
Subject
  • Computable functions
  • Logic, Symbolic and Mathematical
  • Recursive functions
ISBN
  • 052138026X
  • 0521389232 (pbk.)
LCCN
89032584
Owning Institutions
Princeton University Library