哈杰克，P。;T·哈夫拉内克。 机械化假设形成。一般理论的数学基础。 （英语） Zbl 0371.0202号 大学文本.柏林-海德堡-纽约：斯普林格-Verlag。十五、 396 p.48.00德国马克；$24.00 (1978). 页码：24/35−5 −4 −3 −2 −1 ±0 +1 +2 +3个 +4 +5 显示扫描页面 引用于11评论引用于33文件 MSC公司： 03-02 与数学逻辑和基础相关的研究展览（专著、调查文章） 03A05号 逻辑和基础的哲学和批判性方面 03B99号 一般逻辑 68吨10 模式识别、语音识别 68-02 与计算机科学有关的研究展览会（专著、调查文章） 68瓦99 计算机科学中的算法 62A01型 统计学基础和哲学主题 62-02 与统计有关的研究展览（专著、调查文章） PDF格式BibTeX公司 XML格式