Constructivity in mathematics : proceedings of the colloquium held at Amsterdam, 1957 | 東京工業大学附属図書館蔵書検索

Blank Cover Image

所蔵情報QRコード

Constructivity in mathematics : proceedings of the colloquium held at Amsterdam, 1957 / edited by A. Heyting

資料種別:

図書

出版情報:

Amsterdam : North-Holland Publishing Co., 1959

形態:

viii, 297 p. ; 23 cm

シリーズ名:

Studies in logic and the foundations of mathematics <BA00099329>

著者名:

書誌ID:

BA0824254X

子書誌情報

フルテキスト

Loading contents information

所蔵情報

Loading availability information

他の版・巻

書誌詳細

注記:	"This volume contains the lectures, held at the International Colloquium "Constructivity in Mathematics" -- Pref
主題:	Logic, Symbolic and mathematical--Congresses; Mathematics--Congresses
言語:	英語; ドイツ語

東工大ブックレビュー

Loading review information

類似資料:

1 図書 Mathematical logic and foundations of set theory : Proceedings of an international colloquium held under the auspices of the Israel Academy of Sciences and … International Colloquium on Mathematical Logic and Foundations of Set Theory, Bar-Hillel, Yehoshua, Akademyah … North-Holland Pub. Co.	7 図書 Logic Colloquium '85 : proceedings of the colloquium held in Orsay, France, July 1985 (: U.S.) Logic Colloquium, Equipe de logique mathématique (Paris, France) North-Holland
2 図書 Proceedings of the International Mathematical Congress, held in Toronto, August 11-16, 1924 (v. 1 ; v. 2) International Congress of Mathematicians University of Toronto Press	8 図書 Logic Colloquium '77 : proceedings of the colloquium held in Wrocław, August 1977 Logic Colloquium, Macintyre, Angus D., 1935-, Pacholski, Leszek, Paris, Jeff North Holland Pub. Co., sole distributors for the U.S.A. and Canada, Elsevier North-Holland
3 図書 Proceedings of the International Mathematical Congress, held in Toronto, August 11-16, 1924 (v. 1 ; v. 2) International Congress of Mathematicians Kraus Reprint	9 図書 Dynamics and processes : proceedings of the Third Encounter in Mathematics and Physics, held in Bielefeld, Germany, Nov. 30- Dec. 4, 1981 (: gw ; : us) Bielefeld Encounters in Mathematics and Physics, Streit, Ludwig, 1938-, Universität Bielefeld. Zentrum für … Springer
4 図書 Discrete mathematics and theoretical computer science : 4th International Conference, DMTCS 2003, Dijon, France, July 7-12, 2003 : proceedings DMTCS, Calude, Cristian, 1952-, Dinneen, M. J., 1957-, Vajnovszki, Vincent Springer	10 図書 Trends in applications of mathematics to mechanics : proceedings of the 7th Symposium, held in Wassenaar, The Netherlands, December 7-11, 1987 (: us ; : gw) Besseling, J. F. (Johannes), Eckhaus, Wiktor, Symposium on Trends in Applications of Mathematics to Mechanics Springer-Verlag
5 図書 Proceedings of the International Congress of Mathematicians, 1954 : Amsterdam, September 2-September 9 (v. 1 ; v. 2 ; v. 3) International Congress of Mathematicians, Gerretsen, Johan C. H., Groot, Johannes de Noordhoff, North-Holland Pub.	11 図書 Nonlinear equations in physics and mathematics : proceedings of the NATO Advanced Study Institute held in Istanbul, Turkey, August 1-13, 1977 NATO Advanced Study Institute, North Atlantic Treaty Organization. Scientific Affairs Division, Barut, Asim Orhan, 1926- D. Reidel, Sole and distributed in the U.S.A. and Canada, Kluwer
6 図書 Logic Colloquium '78 : proceedings of the colloquium held in Mons, August 1978 Logic Colloquium, Boffa, Maurice, Dalen, D. van (Dirk), 1932-, McAloon, Kenneth North-Holland Pub. Co., Elsevier North-Holland, sole distributors for the U.S.A. and Canada	12 図書 Relations between combinatorics and other parts of mathematics : [proceedings of the Symposium in Pure Mathematics of the American Mathematical Society, held at … Symposium in Pure Mathematics, Ray-Chaudhuri, Dijen, 1933-, American Mathematical Society American Mathematical Society

1

2

3

4

5

6

7

8

9

10

11

12