Foundations of mathematics : symposium papers commemorating the sixtieth birthday of Kurt Gödel | 名古屋工業大学図書館蔵書検索（名工大OPAC）

Blank Cover Image

Foundations of mathematics : symposium papers commemorating the sixtieth birthday of Kurt Gödel

フォーマット:

図書

責任表示:

edited by Jack J. Bulloff, Thomas C. Holyoke, S. W. Hahn

言語:

英語

出版情報:

New York : Springer-Verlag, 1969

形態:

xii, 195 p. : port. ; 24 cm

著者名:

書誌ID:

BA01411707

子書誌情報

所蔵情報

Loading availability information

タイトルが類似している資料

詳細

主題:	数学基礎論
分類・件名:	LCC : QA9 DDC : 510/.01 NDC8 : 410.9 LCSH : Logic, Symbolic and mathematical LCSH : Mathematics -- Philosophy LCSH : Gödel, Kurt NDLSH : 数学基礎論
LCCN:	68028757
注記:	Sponsored by Section L (Mathematical Sciences) of the Ohio Academy of Science and presented at the 75th anniversary meeting of the Ohio Academy of Science Includes bibliographies
TTLL:	eng

類似資料:

1

2

3

4

5

6

7

8

9

10

11

12

1 図書 Frege and Gödel : two fundamental texts in mathematical logic Frege, Gottlob, 1848-1925, Van Heijenoort, Jean, 1912-, Gödel, Kurt, 1906-1978 Harvard University Press	7 図書 The Consistency of the axiom of choice and of the generalized continuum-hypothesis with the axioms of set theory Gödel, Kurt, 1906-1978 Princeton Univ. Press
2 図書数学基礎論序説 : 数の体系への論理的アプローチ = Logical foundations of mathematics 田中, 一之裳華房	8 図書 SELECTED WORKS . (IVAN MATVEEVIC VINOGRADOV) PREPARED BY ... MATHEMATICAL INSTITUTE OF THE ACADEMY OF SCIEN... HIS 90TH BIRTHDAY VINOGRADOV, I. M, FADDEEV, L. D SPRINGER-VLG
3 図書 Mathematical methods in the social sciences, 1959 : proceedings of the first Stanford Symposium Symposium on Mathematical Methods in the Social Sciences, Arrow, Kenneth Joseph, 1921-, Karlin, Samuel, 1923-, Suppes, … Stanford University Press	9 図書 To Ordations of Mathmatics Jack,J.Bulloff
4 図書 Mechanics and thermodynamics of continua : a collection of papers dedicated to B.D. Coleman on his sixtieth birthday Coleman, Bernard D. (Bernard David), 1930-, Mizel, Victor J., Owen, David R., Markovitz, Hershel, 1921- Springer-Vlg.	10 図書 Mathematical logic and its applications Advanced International Summer School and Conference on Mathematical Logic and Its Applications, Skordev, Dimitŭr … Plenum Press
5 図書 Collected papers : contributions to mathematical statistics Wilks, S. S. (Samuel Stanley), 1906-1964, Institute of Mathematical Statistics Wiley	11 図書 Publications of the Israel Academy of Sciences and Humanities, Section of Humanities Israel Academy of Sciences and Humanities
6 図書 The Consistency of the axiom of choice and of the generalized continuum-hypothesis with the axioms of set theory Gödel, Kurt, 1906-1978 Princeton University Press	12 図書数学基礎論 = Mathematical Logic 新井, 敏康東京大学出版会