close
1.

図書
図書
1. 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…
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. Colloque international de logique : Clermont-Ferrand, 18-25 juillet 1975
Centre national de la recherche scientifique
出版情報: Paris : Éditions du C.N.R.S., 1977
シリーズ名: Colloques internationaux du Centre national de la recherche scientifique ; no. 249
所蔵情報: loading…
4.

図書
図書
4. ISILC Logic Conference : proceedings of the International Summer Institute and Logic Colloquium, Kiel, 1974 (: gw ; : u.s.)
edited by G.H. Müller, A. Oberschelp, K. Potthoff
出版情報: Berlin ; New York : Springer-Verlag, 1975
シリーズ名: Lecture notes in mathematics ; 499
所蔵情報: loading…
5.

図書
図書
5. Logic, methodology and philosophy of science IV : Proceedings (: ne ; : us)
edited by Patrick Suppes [et al.]
出版情報: Amsterdam : North-Holland Pub. Co. , New York : American Elsevier Pub. Co., 1973
シリーズ名: Studies in logic and the foundations of mathematics ; v. 74
所蔵情報: loading…
6.

図書
図書
6. Mathematical interpretation of formal systems. 2nd ed
Th. Skolem ... [et al.]
出版情報: Amsterdam : North-Holland Pub. Co., 1971
シリーズ名: Studies in logic and the foundations of mathematics
所蔵情報: loading…