京都工芸繊維大学を検索します。
CiNii Researchを検索します。
CiNii Booksを検索します。
NDLサーチを検索します。
IRDBを検索します。
検索キーワード:(標準分類: QA9.A1)
該当件数:9件
Logic, foundations of mathematics, and computability theory / edited by Robert E. Butts and Jaakko Hintikka
: pbk. - Dordrecht ; Boston : D. Reidel , c1977. - (Proceedings of the Fifth International Congress of Logic, Methodology and Philosophy of Science, London, Ontario, Canada, 1975 ; pt. 1). - (The University of Western Ontario series in philosophy of science ; v. 9)
図書
Computation and proof theory : proceedings of the Logic Colloquium held in Aachen, July 18-23, 1983, part II / edited by M.M. Richter ... [et al.]
: gw,: us. - Berlin ; Tokyo : Springer-Verlag , 1984. - (Lecture notes in mathematics ; 1104)
Logic Symposia, Hakone, 1979, 1980 : proceedings of conferences held in Hakone, Japan, March 21-24, 1979 and February 4-7, 1980 / edited by G.H. Müller, G. Takeuti, and T. Tugué
: Berlin,: New York. - Berlin ; New York : Springer-Verlag , 1981. - (Lecture notes in mathematics ; 891)
Logic year 1979-80 : the University of Connecticut, USA / edited by M. Lerman, J.H. Schmerl, and R.I. Soare
: Berlin,: New York. - Berlin ; New York : Springer-Verlag , 1981. - (Lecture notes in mathematics ; 859)
Cabal Seminar 76-77 : proceedings, Caltech-UCLA logic seminar 1976-77 / edited by A.S. Kechris and Y.N. Moschovakis
: Berlin,: New York. - Berlin ; New York : Springer-Verlag , 1978. - (Lecture notes in mathematics ; 689)
ISILC Logic Conference : proceedings of the International Summer Institute and Logic Colloquium, Kiel, 1974 / edited by G.H. Müller, A. Oberschelp, K. Potthoff
: gw,: u.s.. - Berlin ; New York : Springer-Verlag , 1975. - (Lecture notes in mathematics ; 499)
Algebra and logic : papers from the 1974 summer research institute of the Australian Mathematical Society, Monash University, Australia / edited by J.N. Crossley
: Germany,: U.S.. - Berlin ; New York : Springer-Verlag , 1975. - (Lecture notes in mathematics ; 450)
Cambridge Summer School in Mathematical Logic : held in Cambridge/England, August 1-21, 1971 : [papers] / edited by A.R.D. Mathias, H. Rogers
: Germany,: U.S.. - Berlin ; New York : Springer-Verlag , 1973. - (Lecture notes in mathematics ; 337)
Methods in mathematical logic : proceedings of the 6th Latin American Symposium on Mathematical Logic held in Caracas, Venezuela, August 1-6, 1983 / edited by C.A. Di Prisco
: gw,: us. - Berlin ; New York : Springer-Verlag , c1985. - (Lecture notes in mathematics ; 1130)