Cover Image

Computability and logic.

Show other versions (4)
Bibliographic Details
Main Author: Boolos, George
Other Authors: Burgess, John P., 1948-, Jeffrey, Richard C.
Format: Book
Language:English
Published: Cambridge ; New York : Cambridge University Press, 2002.
Edition:4th ed. /
Subjects:
Computable functions.
Recursive functions.
Logic, Symbolic and mathematical.
Description
Physical Description:xi, 356 pages : illustrations ; 27 cm.
Bibliography:Includes bibliographical references (page 348) and index.
ISBN:0521809754
0521007585 (pbk.)