著者典拠情報

著者標目形：
Logic Colloquium
属性：
Meeting
場所：
Oxford;Hannover;Mons;Manchester;Orsay;Hull;Aachen;Granada;Padova;Helsinki;Veszprém, Hungary;Haifa, Israel;San Sebastián, Spain;Leeds;Prague;Utrecht
日付：
1963;1966;1977;1978;1984;1985;1986;1983;1987;1988;1990;1992;1995;1996;1997;1998;1999
から見よ参照形：
European Summer Meeting of the Association for Symbolic Logic
注記：
Its (1978 : Mons) Logic colloquium '78
Its (1983 : Aachen)
Its (13-19/7/1986 : Hull) Logic Colloquium '86, 1988
Its Proceedings of the Herbrand symposium, 1982
Its (15-24/7/1984 : Manchester) Logic Colloquium '84, 1986
Its (7-13 July, 1985 : Orsay, France) Logic Colloquium '85, 1987
Its (July 20-25, 1987 : Granada) Logic Colloquium '87, 1989
Its (8/22-31/88 : Padova, Italy) Logic Colloquium '88, 1989
Its (9-15, 1992 : Veszprém) Logic Colloquium '92, c1995
Its (1997 : Leeds, England) Logic Colloquium '97, 1999
EDSRC:Logic colloquium '90 / J. Oikkonen, J. Väänänen (eds.)(Springer-Verlag, c1993)
EDSRC:Logic Colloquium '92 / edited by László Csirmaz, Dov M. Gabbay, and Maarten de Rijke(CSLI Publications, c1995)
EDSRC:Logic Colloquium '95 : proceedings of the Annual European Summer Meeting of the Association of Symbolic Logic, held in Haifa, Israel, August 9-18, 1995 / Johann A. Makowsky, Elena V. Ravve (eds.)(Springer, c1998)
EDSRC:Logic Colloquium '96 : proceedings of the Colloquium held in San Sebastián, Spain, July 9-15, 1996 / J.M. Larrazabal, D. Lascar, G. Mints (eds.)(Springer, c1998)
EDSRC: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 University Press, 1999)
EDSRC:Logic Colloquium '98 : proceedings of the Annual European Summer Meeting of the Association for Symbolic Logic, held in Prague, Czech Republic August 9-15, 1998 / edited by Samuel R. Buss, Petr Hájek, Pavel Pudlák(A K Peters, Ltd., c2000)
EDSRC:Logic Colloquium '99 : proceedings of the Annual European S ummer Meeting of the Association for Symbolic Logic, held in Utrecht, Netherlands August 1-6, 1999 / edited by Jan van Eijck, Vincent van Oostrom, Albert Visser(A K Peters, Ltd., c2004)
著者典拠ID：
DA00307794


1.

図書
図書
1. Logic Colloquium '96 : proceedings of the Colloquium held in San Sebastián, Spain, July 9-15, 1996 (: pbk)
J. M. Larrazabal, D. Lascar, G. Mints (eds.)
出版情報: Berlin : Springer, c1998
シリーズ名: Lecture notes in logic ; 12
所蔵情報: 図書館
2.

図書
図書
2. Logic Colloquium '95 : proceedings of the Annual European Summer Meeting of the Association of Symbolic Logic, held in Haifa, Israel, August 9-18, 1995
Johann A. Makowsky, Elena V. Ravve (eds.)
出版情報: Berlin ; New York : Springer, c1998
シリーズ名: Lecture notes in logic ; 11
所蔵情報: 図書館
3.

図書
図書
3. Logic Colloquium '92 (: cloth ; : paper)
edited by László Csirmaz, Dov M. Gabbay, and Maarten de Rijke
出版情報: Stanford, Calif. : CSLI Publications, c1995
シリーズ名: Studies in logic, language and information
所蔵情報: 図書館
4.

図書
図書
4. Logic Colloquium '90 (: gw ; : us)
J. Oikkonen, J. Väänänen (eds.)
出版情報: Berlin ; New York : Springer-Verlag, c1993
シリーズ名: Lecture notes in logic ; 2
所蔵情報: 図書館
5.

図書
図書
5. Models and sets : proceedings of the Logic Colloquium held in Aachen, July 18-23, 1983, part I (: us ; : gw)
edited by G.H. Müller and M.M. Richter
出版情報: Berlin ; New York : Springer-Verlag, 1984
シリーズ名: Lecture notes in mathematics ; 1103
所蔵情報: 図書館
6.

図書
図書
6. 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
所蔵情報: 図書館