NCID | BA03684223 |
タイトル | 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 |
出版者 | Providence, R.I. : American Mathematical Society , c1988 |
形態 | xi, 250 p. ; 26 cm |
注記 | Sponsored by the Sociedade Brasileira de Lógica, Sociedade Brasileira de Matemática, and the Association for Symbolic Logic The symposium held at the State University of Campinas (UNICAMP) in Campinas, São Paulo State, Brazil |
シリーズ名 | Contemporary mathematics ; v. 69
|
分類 | LCC:QA9.A1 DC19:511.3 NDC8:410.96 |
件名 | LCSH:Logic,Symbolicandmathematical -- Congresses
|
著者情報 | Carnielli, Walter A. (Walter Alexandre) Alcantara, Luiz Paulo de, 1944- Sociedade Brasileira de Lógica Sociedade Brasileira de Matemática Association for Symbolic Logic Latin-American Symposium on Mathematical Logic
|
和洋区分 | 洋 |
標題言語 | 英語 |
本文言語 | 英語,フランス語 |
出版国 | アメリカ合衆国 |
ISBN | 0821850768
|
番号 | LCCN : 87033651 |