Logic and foundations of mathematics : selected contributed papers of the Tenth International Congress of Logic, Methodology, and Philosophy of Science, Florence, August 1995 | 東京工業大学附属図書館蔵書検索

>> Google Books

所蔵情報QRコード

Logic and foundations of mathematics : selected contributed papers of the Tenth International Congress of Logic, Methodology, and Philosophy of Science, Florence, August 1995 / edited by Andrea Cantini, Ettore Casari, Pierluigi Minari

資料種別:

図書

出版情報:

Dordrecht : Kluwer Academic, c1999

形態:

viii, 282 p.

シリーズ名:

Synthese library ; v. 280 <BA00017801>

著者名:

ISBN:

9780792356592 [0792356594]

書誌ID:

BA43757592

子書誌情報

フルテキスト

Loading contents information

所蔵情報

Loading availability information

他の版・巻

書誌詳細

主題:	Logic, Symbolic and mathematical Congresses
言語:	英語

東工大ブックレビュー

Loading review information

類似資料:

1 図書 Logic, language, and probability : a selection of papers contributed to sections IV, VI, and XI of the Fourth International Congress for Logic, Methodology, and … International Congress of Logic, Methodology and Philosophy of Science, Bogdan, Radu J., Niiniluoto, Ilkka D. Reidel Pub. Co	7 図書 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.
2 図書 Logic, methodology and philosophy of science VIII : proceedings of the Eighth International Congress of Logic, Methodology and Philosophy of Science, Moscow, … International Congress of Logic, Methodology and Philosophy of Science, Fenstad, Jens Erik, Frolov, Ivan Timofeevich, … North-Holland, Sole distributors for the U.S.A. and Canada, Elsevier Science	8 電子ブック Aspects of Mathematical Logic C.I.M.E. Summer School, Casari, Ettore, Centro internazionale matematico estivo. SpringerLink Books - AutoHoldings, Springer Berlin Heidelberg
3 図書 Logic, methodology and philosophy of science III : proceedings of the Third International Congress for Logic, Methodology and Philosophy of Science, Amsterdam … International Congress of Logic, Methodology and Philosophy of Science, Rootselaar, B. van (Bob), Staal, Frits, 1930- North-Holland Pub. Co.	9 図書 Automated deduction--CADE-16 : 16th International Conference on Automated Deduction, Trento, Italy, July 7-10, 1999 : proceedings International Conference on Automated Deduction, Ganzinger, Harald, 1950- Springer
4 図書 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	10 図書 Proceedings of the Fifth International Congress of Logic, Methodology and Philosophy of Science, London, Ontario, Canada, 1975 (: set) D. Reidel
5 図書 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	11 図書 Modern physics and its philosophy : selected papers in the logic, history, and philosophy of science Strauss, Martin Reidel
6 図書 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	12 図書 Studies in the foundations, methodology and philosophy of science Springer-Verlag

1

2

3

4

5

6

7

8

9

10

11

12