close
1.

図書

図書
Klüver, Jürgen, 1941-
出版情報: Stuttgart-Bad Cannstatt : Frommann-Holzboog, 1971  220 p. ; 21 cm
シリーズ名: Problemata
所蔵情報: loading…
2.

図書

図書
by Charles S. Peirce ; edited by Carolyn Eisele
出版情報: The Hague : Mouton Publishers , Atlantic Highlands, N.J. : Humanities Press, 1976  xxviii, 393 p., [1] leaf of plates ; 24 cm
シリーズ名: The new elements of mathematics ; v. 4
所蔵情報: loading…
3.

図書

図書
[by] Hao Wang
出版情報: London : Routledge & Kegan Paul , New York : Humanities Press, [1974]  xiv, 428 p. ; 23 cm
シリーズ名: International library of philosophy and scientific method
所蔵情報: loading…
4.

図書

図書
edited by Patrick Suppes
出版情報: Dordrecht ; Boston : Reidel, c1973  xi, 424 p. ; 23 cm
シリーズ名: Synthese library
所蔵情報: loading…
5.

図書

図書
Abraham A. Fraenkel, Yehoshua Bar-Hillel, Azriel Levy, with the collaboration of Dirk van Dalen
出版情報: Amsterdam : North-Holland, 1973  x, 404 p. ; 23 cm
シリーズ名: Studies in logic and the foundations of mathematics ; v. 67
所蔵情報: loading…
目次情報: 続きを見る
The Antinomies
Axiomatic Foundations of Set Theory
Type-Theoretical Approaches
Intuitionistic Conceptions of Mathematics
Metamathematical and Semantical Approaches
Bibliography
Indices
The Antinomies
Axiomatic Foundations of Set Theory
Type-Theoretical Approaches
6.

図書

図書
edited by Jean van Heijenoort
出版情報: Cambridge, Mass. : Harvard University Press, 1970  116 p. ; 26 cm
所蔵情報: loading…
7.

図書

図書
Imre Lakatos ; edited by John Worrall and Elie Zahar
出版情報: Cambridge : Cambridge University Press, 1976  xii, 174 p. ; 22 cm
所蔵情報: loading…
目次情報: 続きを見る
EditorsG++ preface
Acknowledgments
AuthorG++s introduction
A problem and a conjecture / 1:
A proof / 2:
Criticism of the proof by counterexamples which are local but not global / 3:
Criticism of the conjecture by global counterexamples / 4:
Criticism of the proof-analysis by counterexamples which are global but not local: the problem of rigour / 5:
Return to criticism of the proof by counterexamples which are local but not global: the problem of content / 6:
The problem of content revisited / 7:
Concept-formation / 8:
How criticism may turn mathematical truth into logical truth / 9:
Appendices
Bibliography
Index of names
Index of subjects
EditorsG++ preface
Acknowledgments
AuthorG++s introduction
8.

図書

図書
R. Buckminster Fuller ; in collaboration with E.J. Applewhite ; preface and contribution by Arthur L. Loeb
出版情報: New York : Macmillan, c1975-c1979  2 v. ; 24 cm
所蔵情報: loading…
9.

図書

図書
Felix Kaufmann ; edited by Brian McGuinness ; with an introd. by Ernest Nagel ; translated from the German by Paul Foulkes
出版情報: Dordrecht, Holland ; Boston : D. Reidel Pub. Co., c1978  xvii, 235 p. ; 23 cm
シリーズ名: Vienna circle collection ; 9
所蔵情報: loading…
10.

図書

図書
Hugh Lehman
出版情報: Oxford : Blackwell, 1979  xi, 177 p. ; 23 cm
シリーズ名: APQ library of philosophy
所蔵情報: loading…
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼