Description: Computability and logic/

Main Author:	Boolos, George
Other Authors:	Jeffrey, Richard C.
Format:	Book
Language:	English
Published:	Cambridge ; New York: Cambridge University Press, 1974
Subjects:	Computable functions Recursive functions

Physical Description:	262 p. : ill. ; 24 cm.
Bibliography:	Includes bibliographical references and index.
ISBN:	052120402Χ