1.

図書
図書
1. Models and computability : invited papers from Logic Colloquium '97 - European Meeting of the Association for Symbolic Logic, Leeds, July 1997
edited by S. Barry Cooper, John K. Truss
出版情報: Cambridge ; New York : Cambridge University Press, 1999
シリーズ名: London Mathematical Society lecture note series ; 259
所蔵情報: loading…
2.

図書
図書
2. Models, algebras, and proofs : selected papers of the X Latin American Symposium on Mathematical Logic held in Bogotá
edited by Xavier Caicedo, Carlos H. Montenegro
出版情報: New York : Marcel Dekker, c1999
シリーズ名: Lecture notes in pure and applied mathematics ; v. 203
所蔵情報: loading…
3.

図書
図書
3. Advances in linear logic
edited by Jean-Yves Girard, Yves Lafont, Laurent Regnier
出版情報: Cambridge : Cambridge University Press, 1995
シリーズ名: London Mathematical Society lecture note series ; 222
所蔵情報: loading…
4.

図書
図書
4. Logic, methodology and philosophy of science IX : proceedings of the Ninth International Congress of Logic, Methodology and Philosophy of Science, Uppsala, Sweden, August 7-14, 1991
edited by Dag Prawitz, Brian Skyrms, Dag Westerståhl
出版情報: Amsterdam ; Tokyo : Elsevier, 1994
シリーズ名: Studies in logic and the foundations of mathematics ; v. 134
所蔵情報: loading…
5.

図書
図書
5. Logic and computer science : lectures given at the 1st session of the Centro internazionale matematico estivo (C.I.M.E.) held at Montecatini Terme, Italy, June 20-28, 1988
S. Homer ... [et al.] ; editor, P. Odifreddi
出版情報: Berlin ; Tokyo : Springer-Verlag, c1990
シリーズ名: Lecture notes in mathematics ; 1429 . Fondazione C.I.M.E., Firenze
所蔵情報: loading…
6.

図書
図書
6. Logic Colloquium '87 : proceedings of the colloquium held in Granada, Spain, July 20-25, 1987
edited by H.-D. Ebbinghaus ... [et al.]
出版情報: Amsterdam ; Tokyo : North-Holland, 1989
シリーズ名: Studies in logic and the foundations of mathematics ; v. 129
所蔵情報: loading…
7.

図書
図書
7. 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
シリーズ名: Lecture notes in mathematics ; 1388
所蔵情報: loading…
8.

図書
図書
8. Logic Colloquium '86 : proceedings of the colloquium held in Hull, U.K., July 13-19, 1986
edited by F.R. Drake and J.K. Truss
出版情報: Amsterdam ; Tokyo : North-Holland, 1988
シリーズ名: Studies in logic and the foundations of mathematics ; v. 124
所蔵情報: loading…
9.

図書
図書
9. Logic Colloquium '85 : proceedings of the colloquium held in Orsay, France, July 1985
edited by the Paris Logic Group
出版情報: Amsterdam ; Tokyo : North-Holland, 1987
シリーズ名: Studies in logic and the foundations of mathematics ; v. 122
所蔵情報: loading…
10.

図書
図書
10. Logic, methodology and philosophy of science VII : proceedings of the Seventh International Congress of Logic, Methodology and Philosophy of Science, Salzburg, 1983
edited by Ruth Barcan Marcus, Georg J.W. Dorn, Paul Weingartner
出版情報: Amsterdam ; Tokyo : North-Holland, 1986
シリーズ名: Studies in logic and the foundations of mathematics ; v. 114
所蔵情報: loading…