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