関連資料一覧:(本学所蔵)
検索条件
件名:LCSH:Constructivemathematics
選択行を:
| 資料名 | 所在 |
1 | Constructibility and mathematical existence / Charles S. Chihara. -- Clarendon Press, . -- (Clarendon paperbacks). | 教養共4F哲学 410.1:C |
2 | Constructivism in mathematics : an introduction / A.S. Troelstra, D. van Dalen ; v. 1, v. 1:pbk., v. 2. -- North-Holland, 1988. -- (Studies in logic and the foundations of mathematics ; v. 121, 123). | 理数学 410.9:T |
3 | Predicative arithmetic / by Edward Nelson. -- Princeton University Press, 1986. -- (Mathematical notes ; 32). | 理数学 410.9:N |
4 | Proof complexity and feasible arithmetics : DIMACS workshop, April 21-24, 1996 / Paul W. Beame, Samuel R. Buss, editors. -- American Mathematical Society, c1998. -- (DIMACS series in discrete mathematics and theoretical computer science ; v. 39). | 理数学 410.9:B |
5 | Varieties of constructive mathematics / Douglas Bridges, Fred Richman. -- Cambridge University Press, 1987. -- (London Mathematical Society lecture note series ; 97). | 理数学 410.9:B |
選択行を:
|