Κύριος συγγραφέας:	Boolos, George S.
Άλλοι συγγραφείς:	Jeffrey, Richard C., Jeffrey, Richard
Μορφή:	Βιβλίο
Γλώσσα:	English
Έκδοση:	Cambridge : Cambridge University Press, 1980
Έκδοση:	2nd
Θέματα:	Computable functions Recursive functions Logic, Symbolic and mathematical Recursion theory