Mathematical logic and computability

書目詳細資料
主要作者:	Kiesler, H. Jerome
其他作者:	Robbin, Joel
格式:	圖書
語言:	英语
出版:	New York McGraw-Hill c1996.
主題:	Computable functions. Logic, Symbolic and mathematical. Formal languages.