Computability and logic /

Bibliographic Details

Main Author:	Boolos, George
Other Authors:	Jeffrey, Richard C.
Format:	Book
Language:	English
Published:	Cambridge [England] : University Press, [1974]
Subjects:	Recursive functions. Logic, Symbolic and mathematical.