Cover Image

Computability and logic /

Show other versions (4)
Bibliographic Details
Main Author: Boolos, George
Other Authors: Jeffrey, Richard C.
Format: Book
Language:English
Published: Cambridge [England] : New York, N.Y. : Cambridge University Press, 1980.
Edition:2nd ed.
Subjects:
Computable functions.
Recursive functions.
Logic, Symbolic and mathematical.
Description
Physical Description:x, 285 pages ; 24 cm.
Bibliography:Includes bibliographical references and index.
ISBN:0521299675 (pbk.)
0521234794