Recursion theory for metamathematics

গ্রন্থ-পঞ্জীর বিবরন
প্রধান লেখক: Smullyan, Raymond M.
বিন্যাস: গ্রন্থ
প্রকাশিত: New York Oxford University Press 1993.
মালা:Oxford logic guides 22
বিষয়গুলি: