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
Not available - Please for assistance.
TextUse in library QA248.5 .B66Off-site

Holdings

Details

Additional Authors
Jeffrey, Richard C.
Description
x, 262 p. illus.; 24 cm.
Subject
  • Recursive functions
  • Logic, Symbolic and mathematical
  • Computable functions
ISBN
052120402X
LCCN
73090811 //r81
OCLC
  • ocm00959952
  • SCSB-1949945
Owning Institutions
Princeton University Library