Mathematical Interpretation of Formal Systems书籍详细信息
- ISBN:9780803925137
- 作者:Skolem、Hasenjaeger、Kreisel、Robinson、HAO WANG、Henkin、Los
- 出版社:暂无出版社
- 出版时间:1971
- 页数:113
- 价格:暂无价格
- 纸张:暂无纸张
- 装帧:暂无装帧
- 开本:暂无开本
- 语言:暂无语言
- 适合人群:Academics, Mathematicians, Logicians, Philosophers of Science, Computer Scientists, and anyone interested in the foundations of mathematics and the philosophy of logic.
- TAG:Logic / Set Theory / Formal Systems / Mathematical Philosophy / Computation Theory
- 豆瓣评分:暂无豆瓣评分
- 更新时间:2025-05-20 20:58:06
下载点评