Mathematical logic and applications : proceedings of the Logic Meeting held in Kyoto, 1987

>> Google Books

QRコード(所蔵情報)

Mathematical logic and applications : proceedings of the Logic Meeting held in Kyoto, 1987

フォーマット:

図書

責任表示:

J. Shinoda, T.A. Slaman, T. Tugué (eds.)

言語:

英語

出版情報:

Berlin ; Tokyo : Springer-Verlag, c1989

形態:

222 p. ; 25 cm

著者名:

シリーズ名:

Lecture notes in mathematics ; 1388 <BA00146586>

書誌ID:

BA07303784

ISBN:

9783540515272 [3540515275] (: gw)

9780387515274 [0387515275] (: us)

子書誌情報

所蔵情報

タイトル・著者・出版者が同じ資料

詳細

主題:	Logic, Symbolic and mathematical--Congresses
分類・件名:	LCC : QA3 LCC : QA9.A1 DDC : 510 s DDC : 511.3 NDC8 : 410.8 LCSH : Logic, Symbolic and mathematical -- Congresses
LCCN:	89021596
注記:	"The '87th Meeting on Mathematical Logic and its Applications was held at the Research Institute of Mathematical Sciences (RIMS) of Kyoto University during August 3-6, 1987"--Pref Includes bibliographical references
TTLL:	eng
著者名ヨミ:	シノダ, ジュイチツゲ, トシユキ

類似資料:

1

2

3

4

5

6

7

8

9

10

11

12

1 図書 Methods and applications of mathematical logic : proceedings of the VII Latin American Symposium on Mathematical Logic held July 29-August 2, 1985 Latin-American Symposium on Mathematical Logic, Carnielli, Walter A. (Walter Alexandre), Alcantara, Luiz Paulo de, … American Mathematical Society	7 図書 Advances in contemporary logic and computer science : proceedings of the Eleventh Brazilian Conference on Mathematical Logic, May 6-10, 1996, Salvador, Bahia, … Brazilian Conference on Mathematical Logic, Carnielli, Walter A. (Walter Alexandre), D'Ottaviano, Itala M. L., 1944- American Mathematical Society
2 電子ブック Mathematical Logic and Applications Juichi Shinoda, Shinoda, Juichi, Slaman, Theodore Allen, Tugué, Toshiyuki, Slaman, Theodore A., Tugue, Tosiyuki Springer Berlin Heidelberg	8 図書 Logic and combinatorics : proceedings of the AMS-IMS-SIAM Joint Summer Research Conference held August 4-10, 1985, with support from the National Science … AMS-IMS-SIAM Joint Summer Research Conference in the Mathematical Sciences on Applications of Mathematical Logic to … American Mathematical Society
3 電子ブック Logic Colloquium '95: Proceedings of the Annual European Summer Meeting of the Association of Symbolic Logic, held in Haifa, Israel, August 9-18, 1995 Buss, S. R.; Lachlan, A.; Slaman, T. Springer-Verlag	9 雑誌 Studies in logic and the foundations of mathematics North-Holland Pub.
4 図書 Models, algebras, and proofs : selected papers of the X Latin American Symposium on Mathematical Logic held in Bogotá Latin-American Symposium on Mathematical Logic, Caicedo, Xavier, 1944-, Montenegro, Carlos H., 1958- Marcel Dekker	10 図書 Proceedings of the Conference "Algebra and Logic," Zagreb, 1984 Conference "Algebra and Logic", Stojaković, Zoran, Institut za matematiku (Novi Sad, Serbia) Institute of Mathematics, University of Novi Sad
5 図書 Computation and proof theory : proceedings of the Logic Colloquium held in Aachen, July 18-23, 1983, part II Logic Colloquium, Müller, G. H. (Gert Heinz), 1923-, Richter, Michael M., 1938- Springer-Verlag	11 図書 Logic, methodology and philosophy of science IV : Proceedings International Congress of Logic, Methodology and Philosophy of Science, Suppes, Patrick, 1922-, International Union of … North-Holland Pub. Co., American Elsevier Pub. Co.
6 図書 Logic from computer science : proceedings of a workshop held November 13-17, 1989 Moschovakis, Yiannis N., 1938-, Workshop on Logic from Computer Science Springer-Verlag	12 図書 Models and computability : invited papers from Logic Colloquium '97 - European Meeting of the Association for Symbolic Logic, Leeds, July 1997 Logic Colloquium, Cooper, S. B. (S. Barry), Truss, J. K, Association for Symbolic Logic Cambridge University Press