Computability and logic /

Bibliographic Details

Main Author:	Boolos, George
Other Authors:	Jeffrey, Richard C.
Format:	Book
Language:	English
Published:	Cambridge [England] : New York, N.Y. : Cambridge University Press, 1980.
Edition:	2nd ed.
Subjects:	Computable functions. Recursive functions. Logic, Symbolic and mathematical.