Description: Computability and logic /

Main Author:	Boolos, George
Other Authors:	Jeffrey, Richard C.
Format:	Book
Language:	English
Published:	Cambridge ; New York : Cambridge University Press, 1989.
Edition:	3rd ed.
Subjects:	Computable functions Recursive functions Logic, Symbolic and mathematical

Physical Description:	x, 304 p. : ill. ; 24 cm.
ISBN:	052138026X 0521389232(pbk.)