Computability and logic.

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

Computability and logic

Authors: Boolos, George
Published: Cambridge University Press, 2007

EBSCO eBooks: 2007 (EBSCO)
eBook Academic Collection (EBSCOhost) – North America: 2007 (EBSCO)

Electronic eBook

Authors: Boolos, George
Published: Cambridge University Press, 2002

Electronic eBook

Authors: Boolos, George
Published: Cambridge University Press, 1989

Physical Description: x, 304 pages : illustrations ; 24 cm

Book