close
1.

図書
図書
1. Foundations without foundationalism : a case for second-order logic (: pbk)
Stewart Shapiro
出版情報: Oxford : Clarendon Press , New York ; Tokyo : Oxford University Press, 1991  xx, 277 p. ; 25 cm
シリーズ名: Oxford logic guides ; 17
所蔵情報: loading…
目次情報: 続きを見る
foundations Without Foundationalism
Oxford Logic Guides: 17
Foundations Without Foundationalism
Preface
Preface to Paperback Edition
Orientation / Part I：
Terms and Questions / 1：
Foundationalism and Foundations of Mathematics / 2：
Logic and Mathematics / Part II：
Theory / 3：
Metatheory / 4：
Second-Order Logic and Mathematics / 5：
Advanced Metatheory / 6：
History and Philosophy / Part III：
The Historical 'Triumph' of First-Order Languages / 7：
Second-Order Logic and Rule-Following / 8：
The Competition / 9：
References
Index
foundations Without Foundationalism
Oxford Logic Guides: 17
Foundations Without Foundationalism
2.

図書
図書
2. 数学を哲学する
スチュワート・シャピロ著 ; 金子洋之訳
出版情報: 東京 : 筑摩書房, 2012.1  xi, 406p ; 20cm
所蔵情報: loading…
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼