The theory of models : proceedings of the 1963 International Symposium at Berkeley

>> Amazon.co.jp

このページの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

著者名:

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>

続きを見る

シリーズ名:

Studies in logic and the foundations of mathematics <BA00099329>

ISBN:

9780720422337 [0720422337]

注記:

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
分類・件名:	LCC : BC135 DDC : 164 LCSH : Logic, Symbolic and mathematical -- Congresses LCSH : Mathematical models -- Congresses
LCCN:	66007051
TTLL:	eng
言語:	英語
形態:	xv, 494 p. : port. ; 23 cm
書誌ID:	BA03949576

内容紹介

目次情報

類似資料:

1

2

3

4

5

6

7

8

9

10

11

12

1 図書 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.	7 図書 Computer science logic : 11th International Workshop, CSL '97, Annual Conference of the EACSL, Aarhus, Denmark, August 23-29, 1997 : selected papers Workshop on Computer Science Logic, Nielsen, Mogens, Thomas, Wolfgang, European Association for Computer Science Logic Springer
2 図書 Logic, methodology and philosophy of science IX : proceedings of the Ninth International Congress of Logic, Methodology and Philosophy of Science, Uppsala, … International Congress of Logic, Methodology and Philosophy of Science, Prawitz, Dag, Skyrms, Brian, 1938-, … Elsevier	8 図書 Computer science logic : 10th International Workshop, CSL '96, Annual Conference of the EACSL, Utrecht, The Netherlands, September 21-27, 1996 : selected papers Workshop on Computer Science Logic, Dalen, Dirk van, Bezem, Marc, European Association for Computer Science Logic Springer
3 図書 Structural models of thinking and learning : proceedings of the 7th IPN-Symposium on formalized theories and thinking and learning and their implications for … Universität Kiel. Institut für die Pädagogik der Naturwissenschaften, Spada, Hans, Kempf, Wilhelm F. Hans Huber	9 図書 Computer science logic : 9th International Workshop, CSL '95, Annual Conference of the EACSL, Paderborn, Germany, September 22-29, 1995 : selected papers Workshop on Computer Science Logic, Kleine Büning, Hans, 1948-, European Association for Computer Science Logic Springer
4 図書 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	10 図書 Introduction to logic and to the methodology of the deductive sciences Tarski, Alfred, 1902-, Tarski, Jan Oxford University Press
5 図書 Applied numerical modelling : proceedings of the 2nd International Conference, held at the Madrid Polytechnic University, Spain, September, 1978 International Conference on Applied Numerical Modeling (2nd : 1978 : Escuela Técnica de Ingenieros Industriales de … Pentech Press	11 図書 The axiomatic method with special reference to geometry and physics : proceedings of an International Symposium held at the Univ. of California, Berkeley, … Henkin, Leon, Suppes, Patrick, 1922-, Tarski, Alfred, 1902- North-Holland Publishing Co.
6 図書 Logic Colloquium '95 : proceedings of the Annual European Summer Meeting of the Association of Symbolic Logic, held in Haifa, Israel, August 9-18, 1995 Logic Colloquium, Makowsky, Johann A., 1948-, Ravve, Elena V., 1963-, Association for Symbolic Logic Springer	12 図書 Uncertainty modelling and analysis : theory and applications Ayyub, Bilal M., Gupta, Madan M., 1936-, International Symposium on Uncertainty Modelling and Analysis Elsevier