Computability and logic

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