The theory of models : proceedings of the 1963 International Symposium at Berkeley | 東京工業大学附属図書館蔵書検索

Blank Cover Image

所蔵情報QRコード

The theory of models : proceedings of the 1963 International Symposium at Berkeley / edited by J.W. Addison, Leon Henkin, Alfred Tarski

資料種別:

図書

出版情報:

Amsterdam : North-Holland, 1965

形態:

xv, 494 p. ; 23 cm

シリーズ名:

Studies in logic and the foundations of mathematics <BA00099329>

著者名:

International Symposium on the Theory of Models <DA04623286>

Addison, J. W. (John West), 1930- <DA04623297>

University of California, Berkeley <DA01977147>

Association for Symbolic Logic <DA01977227>

International Union of the History and Philosophy of Science. Division of Logic, Methodology and Philosophy of Science <DA01979980>

Henkin, Leon <DA01977067>

Tarski, Alfred, 1902- <DA0077541X>

さらに 2 件

ISBN:

9780720422337 [0720422337]

書誌ID:

BA03949576

子書誌情報

フルテキスト

Loading contents information

所蔵情報

Loading availability information

他の版・巻

書誌詳細

注記:	Held at the University of California, Berkeley; sponsored by the Association for Symbolic Logic in cooperation with the Division of Logic, Methodology, and Philosophy of Sciences of the International Union of the History and Philosophy of Science Bibliography: p. 442-492
主題:	Logic, Symbolic and mathematical--Congresses; Mathematical models--Congresses
言語:	英語

東工大ブックレビュー

Loading review information

類似資料:

1 図書 Logic, methodology and philosophy of science : proceedings of the 1960 International Congress International Congress of Logic, Methodology and Philosophy of Science, Nagel, Ernest, 1901-, Suppes, Patrick, 1922-, … Stanford University Press	7 図書 Logic, methodology and philosophy of science VII : proceedings of the Seventh International Congress of Logic, Methodology and Philosophy of Science, Salzburg, … International Congress of Logic, Methodology and Philosophy of Science, Barcan Marcus, Ruth, Dorn, Georg, Weingartner, … North-Holland
2 図書 The axiomatic method with special reference to geometry and physics : proceedings of an international symposium held at the University of California, Berkeley, … Henkin, Leon, Suppes, Patrick, 1922-, Tarski, Alfred, 1902- North-Holland	8 図書 Logic, methodology, and philosophy of science VI : proceedings of the Sixth International Congress of Logic, Methodology, and Philosophy of Science, Hannover, … (: us) International Congress of Logic, Methodology and Philosophy of Science, Cohen, L. Jonathan (Laurence Jonathan) North-Holland Pub. Co., PWN--Polish Scientific Publishers, Sole distributors for the U.S.A. and Canada, Elsevier North-Holland
3 図書 The theory of models : proceedings International Symposium on the Theory of Models, Addison, J. W. (John West), 1930-, International Symposium at Berkeley, … North-Holland Pub. Co.	9 図書 Logic, methodology, and philosophy of science : proceedings of the 1960 internatinal conference International Congress for Logic, Methodology and Philosophy of Science, 1st, Stanford, Calif., 1960, Nagel, Ernest, … Stanford University Press
4 図書 Logic, methodology and philosophy of science : proceedings of the 1964 International Congress International Congress of Logic, Methodology and Philosophy of Science, Bar-Hillel, Yehoshua, International Union of the … North-Holland Pub. Co.	10 図書 Proceedings of the Tarski Symposium : an international symposium held to honor Alfred Tarski on the occasion of his seventieth birthday Tarski Symposium, Henkin, Leon, University of California, Berkeley, Association for Symbolic Logic, International Union … Published for the Association for Symbolic Logic by the American Mathematical Society
5 図書 Logic, methodology and philosophy of science IV : Proceedings (: ne ; : us) International Congress of Logic, Methodology and Philosophy of Science, Suppes, Patrick, 1922-, International Union of … North-Holland Pub. Co., American Elsevier Pub. Co.	11 図書 Cylindric algebras (pt. 1 ; pt. 2) Henkin, Leon, Monk, James Donald, 1930-, Tarski, Alfred, 1902- North-Holland Pub. Co.
6 図書 Mathematical modelling in science and technology : the fifth international conference, Berkeley, California, USA, July 1985 Avula, Xavier J. R., International Conference on Mathematical Modelling Pergamon Press	12 図書 Introduction to logic and to the methodology of deductive sciences Tarski, Alfred, 1902-, Helmer-Hirschberg, Olaf Oxford University Press

1

2

3

4

5

6

7

8

9

10

11

12