Computability and logic.

Show other versions (3)
Bibliographic Details
Main Author: Boolos, George
Other Authors: Burgess, John P., 1948-
Jeffrey, Richard C.
Language:English
Published: Cambridge ; New York : Cambridge University Press, 2007.
Edition:Fifth edition /
Subjects:
Computable functions.
Recursive functions.
Logic, Symbolic and mathematical.
Online Access:
Connect to: Table of contents only - All users (Cataloging @ Library of Congress)
Physical Description:xiii, 350 pages : illustrations ; 26 cm
Format: Book
Description
Call Number:QA9.59 .B66 2007
Bibliography Note:Includes bibliographical references (page 341) and index.
ISBN:9780521877527 (hbk.)
0521877520 (hbk.)
9780521701464 (pbk.)
0521701465 (pbk.)