1.

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

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

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

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

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