Research Catalog

Computability and logic

Title
Computability and logic / George Boolos, Richard Jeffrey.
Author
Boolos, George
Publication
Cambridge [England] ; 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.
TextUse in library QA9.59.B66 1989Off-site

Details

Additional Authors
Jeffrey, Richard C.
Description
x, 304 p. ; ill.; 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
  • SCSB-1734217
Owning Institutions
Princeton University Library