Description: Computability and logic /

Main Author:	Boolos, George S.
Other Authors:	Jeffrey, Richard C., Jeffrey, Richard
Format:	Book
Language:	English
Published:	Cambridge : Cambridge University Press, 1980
Edition:	2nd
Subjects:	Computable functions Recursive functions Logic, Symbolic and mathematical

Item Description:	Presents principal fundamental results about logic First published 1974.
Physical Description:	x, 285 p. ; 23 cm.
Bibliography:	Includes index Includes index.
ISBN:	0521299675