Mathematical logic and computability

গ্রন্থ-পঞ্জীর বিবরন
প্রধান লেখক:	Keisler, H. Jerome (Author), Robbin, Joel W. (Author)
বিন্যাস:	গ্রন্থ
ভাষা:	English
প্রকাশিত:	New York McGraw-Hill [1996]
মালা:	International series in pure and applied mathematics.
বিষয়গুলি:	Computable functions. Logic, Symbolic and mathematical. Formal languages.