Description: Computability and logic/

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

Item Description:	Presents principal fundamental results about logic
Physical Description:	x, 262 p. ; 23 cm.
Bibliography:	Includes index
ISBN:	052120402X