Mathematical logic and computability

Mathematical logic and computability

Show all versions (3)
書目詳細資料
Main Authors: 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.