Computability and logic

গ্রন্থ-পঞ্জীর বিবরন
প্রধান লেখক:	Boolos, George
অন্যান্য লেখক:	Burgess, John P. 1948-, Jeffrey, Richard C.
বিন্যাস:	গ্রন্থ
ভাষা:	English
প্রকাশিত:	Cambridge, New York Cambridge University Press 2007.
সংস্করন:	5th ed.
বিষয়গুলি:	Computable functions. Recursive functions. Logic, Symbolic and mathematical.
অনলাইন ব্যবহার করুন:	Table of contents only