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.