Search Local DataBase.
Search CiNii Books.
Search CiNii Research(Articles).
Search CiNii Dissertations.
Search PubMed.
Search IRDB.
Search keyword:(Standard classification: QA9.A1)
Results:7items
Logic Colloquium 2007 / edited by Françoise Delon, Ulrich Kohlenbach, Penelope Maddy, Frank Stephan
Cambridge : Cambridge University Press , 2010. - (Lecture Notes in Logic ; 35)
E-Book
Patras Logic Symposion : proceedings of the Logic Symposion held at Patras, Greece, August 18-22, 1980 / edited by George Metakides
: us. - 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. 109)
Books
Logic and combinatorics : proceedings of the AMS-IMS-SIAM Joint Summer Research Conference held August 4-10, 1985, with support from the National Science Foundation / Stephen G. Simpson, editor
Providence, R.I. : American Mathematical Society , c1987. - (Contemporary mathematics ; v. 65)
Logic, methodology, and philosophy of science VI : proceedings of the Sixth International Congress of Logic, Methodology, and Philosophy of Science, Hannover, 1979 / edited by L. Jonathan Cohen ... [et al.]
: us. - Amsterdam ; New York : North-Holland Pub. Co.. - Warszawa : PWN--Polish Scientific Publishers. - New York : Sole distributors for the U.S.A. and Canada, Elsevier North-Holland , 1982. - (Studies in logic and the foundations of mathematics ; v. 104)
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)
Mathematical logic and applications : proceedings of the Logic Meeting held in Kyoto, 1987 / J. Shinoda, T.A. Slaman, T. Tugué (eds.)
: gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1989. - (Lecture notes in mathematics ; 1388)
Logic and computer science : lectures given at the 1st session of the Centro internazionale matematico estivo (C.I.M.E.) held at Montecatini Terme, Italy, June 20-28, 1988 / S. Homer ... [et al.] ; editor, P. Odifreddi
: gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1990. - (Lecture notes in mathematics ; 1429 . Fondazione C.I.M.E., Firenze)