close
1.

図書
図書
1. Advances in logic : the North Texas Logic Conference, October 8-10, 2004, University of North Texas, Denton, Texas
Su Gao, Steve Jackson, Yi Zhang, editors
出版情報: Providence, R.I. : American Mathematical Society, c2007
シリーズ名: Contemporary mathematics ; 425
所蔵情報: loading…
2.

図書
図書
2. 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…
3.

図書
図書
3. Advances in contemporary logic and computer science : proceedings of the Eleventh Brazilian Conference on Mathematical Logic, May 6-10, 1996, Salvador, Bahia, Brazil
Walter A. Carnielli, Itala M.L. D'Ottaviano, editors
出版情報: Providence, R.I. : American Mathematical Society, c1999
シリーズ名: Contemporary mathematics ; v. 235
所蔵情報: loading…
4.

図書
図書
4. 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…
5.

図書
図書
5. Multi-agent rationality : 8th European Workshop on Modelling Autonomous Agents in a Multi-Agent World, MAAMAW'97, Ronneby, Sweden, May 13-16, 1997 : proceedings
Magnus Boman, Walter Van de Velde (eds.)
出版情報: Berlin ; Tokyo : Springer, c1997
シリーズ名: Lecture notes in computer science ; 1237 . Lecture notes in artificial intelligence
所蔵情報: loading…
6.

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

図書
図書
7. 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 (: gw ; : us)
S. Homer ... [et al.] ; editor, P. Odifreddi
出版情報: Berlin ; Tokyo : Springer-Verlag, c1990
シリーズ名: Lecture notes in mathematics ; 1429 . Fondazione C.I.M.E., Firenze
所蔵情報: loading…
8.

図書
図書
8. Computation and proof theory : proceedings of the Logic Colloquium held in Aachen, July 18-23, 1983, part II (: gw ; : us)
edited by M.M. Richter ... [et al.]
出版情報: Berlin ; Tokyo : Springer-Verlag, 1984
シリーズ名: Lecture notes in mathematics ; 1104
所蔵情報: loading…
9.

図書
図書
9. Logic Symposia, Hakone, 1979, 1980 : proceedings of conferences held in Hakone, Japan, March 21-24, 1979 and February 4-7, 1980 (: Berlin ; : New York)
edited by G.H. Müller, G. Takeuti, and T. Tugué
出版情報: Berlin ; New York : Springer-Verlag, 1981
シリーズ名: Lecture notes in mathematics ; 891
所蔵情報: loading…
10.

図書
図書
10. Cabal Seminar 76-77 : proceedings, Caltech-UCLA logic seminar 1976-77 (: Berlin ; : New York)
edited by A.S. Kechris and Y.N. Moschovakis
出版情報: Berlin ; New York : Springer-Verlag, 1978
シリーズ名: Lecture notes in mathematics ; 689
所蔵情報: loading…