著者典拠情報

標目形：
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 Summer 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


 close
1.

図書
図書
1. Sets and proofs : 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 ; 258
所蔵情報: 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. Logic Colloquium '90 (: gw ; : us)
J. Oikkonen, J. Väänänen (eds.)
出版情報: Berlin ; New York : Springer-Verlag, c1993
シリーズ名: Lecture notes in logic ; 2
所蔵情報: loading…
4.

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

図書
図書
5. Logic Colloquium '88 : proceedings of the colloquium held in Padova, Italy, August 22-31, 1988
edited by R. Ferro ... [et al.]
出版情報: Amsterdam ; Tokyo : North-Holland, 1989
シリーズ名: Studies in logic and the foundations of mathematics ; v. 127
所蔵情報: loading…
6.

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

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

図書
図書
8. Logic Colloquium '84 : proceedings of the colloquium held in Manchester, U.K., July 1984
editors, J.B. Paris, A.J. Wilkie, G.M. Wilmers
出版情報: Amsterdam ; Tokyo : North-Holland, 1986
シリーズ名: Studies in logic and the foundations of mathematics ; v. 120
所蔵情報: loading…
9.

図書
図書
9. Logic Colloquium '82 : proceedings of the colloquium held in Florence, 23-28 August, 1982 (: U.S.)
edited by G. Lolli, G. Longo, and A. Marcja
出版情報: Amsterdam ; New York : North-Holland , New York, N.Y. : Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co., 1984
シリーズ名: Studies in logic and the foundations of mathematics ; v. 112
所蔵情報: loading…
10.

図書
図書
10. 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…
11.

図書
図書
11. 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
所蔵情報: loading…
12.

図書
図書
12. Logic Colloquium '80 : papers intended for the European summer meeting of the Association for Symbolic Logic
edited by D. van Dalen, D. Lascar, T.J. Smiley
出版情報: Amsterdam ; New York : North-Holland Pub. Co , New York, N.Y. : Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co., 1982
シリーズ名: Studies in logic and the foundations of mathematics ; v. 108
所蔵情報: loading…
13.

図書
図書
13. Proceedings of the Herbrand Symposium : Logic Colloquium '81 : proceedings of the Herbrand Symposium held in Marseilles, France, July 1981
edited by J. Stern
出版情報: Amsterdam ; Oxford : North-Holland, 1982
シリーズ名: Studies in logic and the foundations of mathematics ; v.107
所蔵情報: loading…
14.

図書
図書
14. Logic Colloquium '78 : proceedings of the colloquium held in Mons, August 1978
edited by Maurice Boffa, Dirk van Dalen, Kenneth McAloon
出版情報: Amsterdam ; New York : North-Holland Pub. Co. , New York : Elsevier North-Holland, sole distributors for the U.S.A. and Canada, 1979
シリーズ名: Studies in logic and the foundations of mathematics ; v. 97
所蔵情報: loading…
15.

図書
図書
15. Logic Colloquium '77 : proceedings of the colloquium held in Wrocław, August 1977
edited by Angus Macintyre, Leszek Pacholski, Jeff Paris
出版情報: Amsterdam ; New York : North Holland Pub. Co. , New York : sole distributors for the U.S.A. and Canada, Elsevier North-Holland, 1978
シリーズ名: Studies in logic and the foundations of mathematics ; v. 96
所蔵情報: loading…
16.

図書
図書
16. Logic Colloquium 76 : proceedings of a conference held in Oxford in July 1976
edited by R.O. Gandy, J.M.E. Hyland
出版情報: Amsterdam ; New York : North-Holland Pub. Co. , New York : Sole distributors for U.S.A. and Canada, Elsevier North-Holland, 1977
シリーズ名: Studies in logic and the foundations of mathematics ; v. 87
所蔵情報: loading…
17.

図書
図書
17. Logic colloquium '73 : proceedings of the Logic Colloquium, Bristol, July 1973 (: North-Holland ; : American Elsevier)
edited by H.E. Rose and J.C. Shepherdson
出版情報: Amsterdam ; Oxford : North-Holland Pub. Co , New York : American Elsevier Pub. Co., 1975
シリーズ名: Studies in logic and the foundations of mathematics ; v. 80
所蔵情報: loading…
18.

図書
図書
18. Logic Colloquium '69 : Proceedings of the Summer school and Colloquium in Mathematical Logic, Manchester, August 1969
Ed. by R.O. Gandy and C.M.E. [sic] Yates
出版情報: Amsterdam : North-Holland, 1971
シリーズ名: Studies in logic and the foundations of mathematics ; v. 61
所蔵情報: loading…
19.

図書
図書
19. Contributions to mathematical logic : proceedings of the Logic Colloquium, Hannover 1966
edited by H. Arnold Schmidt, K. Schütte, H.-J. Thiele
出版情報: Amsterdam : North-Holland, 1968
シリーズ名: Studies in logic and the foundations of mathematics
所蔵情報: loading…
20.

図書
図書
20. Formal systems and recursive functions : proceedings of the eighth Logic Colloquium, Oxford, July 1963
edited by J.N. Crossley and M.A.E. Dummett
出版情報: Amsterdam : North-Holland, 1965
シリーズ名: Studies in logic and the foundations of mathematics
所蔵情報: loading…