Mathematical logic and computability

Λεπτομέρειες βιβλιογραφικής εγγραφής
Κύριος συγγραφέας:	Kiesler, H. Jerome
Άλλοι συγγραφείς:	Robbin, Joel
Μορφή:	Βιβλίο
Γλώσσα:	English
Έκδοση:	New York McGraw-Hill c1996.
Θέματα:	Computable functions. Logic, Symbolic and mathematical. Formal languages.