Research Catalog

Computability and logic

Title
Computability and logic / George Boolos, Richard Jeffrey.
Author
Boolos, George.
Publication
Cambridge [England] ; New York : Cambridge University Press, 1980.

Items in the Library & Off-site

Filter by

1 Item

StatusFormatAccessCall NumberItem Location
Request for On-site UseRequest Scan
How do I pick up this item and when will it be ready?
TextUse in library QA9.59 .B66 1980Off-site

Details

Additional Authors
Jeffrey, Richard C.
Description
x, 285 pages; 24 cm
Series Statement
Open University set book
Uniform Title
Open University set book.
Subject
  • Computable functions
  • Recursive functions
  • Logic, Symbolic and mathematical
  • Berechenbarkeit
  • Mathematische Logik
  • LOGIC
  • MATHEMATICAL LOGIC
  • RECURSIVE FUNCTIONS
  • Mathematische Logik
Note
  • Includes index.
Bibliography (note)
  • Includes bibliographical references and index.
ISBN
  • 0521299675
  • 9780521299671
  • 0521234794
  • 9780521234795
  • 052120402X
  • 9780521204026
LCCN
80040432
OCLC
  • ocm06487830
  • 6487830
  • SCSB-20711
Owning Institutions
Princeton University Library