>> 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]  CiNii Books  Calil
注記:
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
所蔵情報
Loading availability information
子書誌情報
Loading
タイトルが類似している資料

類似資料:

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 &hellip;

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-, &hellip;

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 &hellip;

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 図書 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
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 図書 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 &hellip;

Pentech Press
12 図書 Methodologies for intelligent systems, 4 : proceedings of the Fourth International Symposium on Methodologies for Intelligent Systems, held October 12-14, 1989, …

International Symposium on Methodologies for Intelligent Systems, Raś, Zbigniew, University of North Carolina at &hellip;

North-Holland