Computability and logic

Computability and logic

Bibliographic Details
Main Authors: Boolos, George (Author), Jeffrey, Richard (Author)
Format: Book
Published: Cambridge Cambridge University Press 1980
Edition:2nd ed.
Subjects:
Computable functions
Logic, Symbolic and mathematical
Recursive functions
Description
Physical Description:x, 285 p. ; 23 cm.
ISBN:0521299675

Similar Items