Methods and applications of mathematical logic : proceedings of the VII Latin American Symposium on Mathematical Logic held July 29-August 2, 1985 /
種別: | 図書 |
---|---|
言語: |
英語
フランス語 |
出版事項: |
Providence, R.I. :
American Mathematical Society,
c1988
|
シリーズ: | Contemporary mathematics
v. 69 |
ISBN: | 0821850768 |
主題: |
記述事項: | 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 |
---|---|
形態事項: | xi, 250 p. ; 26 cm |