- 出版社：Oxford University Press
- 出版年月：2012年 06月
- ISBN：9780199655755
- 装丁：HRD
-
装丁について
- 言語：ENG
- 巻数・ページ数：364 p.
- 分類： 数学史・数理哲学
- DDC分類：510.1
- 内容紹介：
-
Interdisciplinary approach bringing together ideas, issues and methods from epistemology, mathematical logic, complexity theory and Prolog programming.