検索結果をRefWorksへエクスポートします。対象は1件です。
Export
RT Book, Whole SR Print DC OPAC T1 Methods and applications of mathematical logic : proceedings of the VII Latin American Symposium on Mathematical Logic held July 29-August 2, 1985 / Walter A. Carnielli and Luiz Paulo de Alcantara, editors T2 Contemporary mathematics A1 Carnielli, Walter A. (Walter Alexandre) A1 Alcantara, Luiz Paulo de, 1944- A1 Sociedade Brasileira de Lógica A1 Sociedade Brasileira de Matemática A1 Association for Symbolic Logic A1 Latin-American Symposium on Mathematical Logic YR 1988 FD c1988 SP xi, 250 p. K1 Logic, Symbolic and mathematical -- Congresses PB American Mathematical Society PP Providence, R.I. SN 0821850768 LA English (英語) CL LCC:QA9.A1 CL DC19:511.3 CL NDC8:410.96 NO Sponsored by the Sociedade Brasileira de Lógica, Sociedade Brasileira de Matemática, and the Association for Symbolic Logic NO The symposium held at the State University of Campinas (UNICAMP) in Campinas, São Paulo State, Brazil NO 書誌ID=1000326127; NCID=BA03684223; LK [OPAC]https://www.lib.sophia.ac.jp/opac/opac_link/bibid/1000326127 OL 30