Research Catalog

Computability and logic

Title
Computability and logic / [by] George Boolos [and] Richard Jeffrey.
Author
Boolos, George
Publication
Cambridge [Eng.] : University Press, [1974]

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?
TextRequest in advance QA248.5 .B66Off-site

Holdings

Details

Additional Authors
Jeffrey, Richard C
Description
x, 262 pages : illustrations; 24 cm
Subject
  • Computable functions
  • Recursive functions
  • Logic, Symbolic and mathematical
  • Mathematical logic
ISBN
052120402X
LCCN
73090811
OCLC
ocm00959952
Owning Institutions
Columbia University Libraries