عنوان
پدید آورنده
موضوع
رده
QA 9 .A1L37 1985
QA
9
.
A1L37
1985
کتابخانه
محل استقرار
Methods and applications of mathematical logic : proceedings of the VII Latin American Symposium
7th: 1985 : State University of Campinas
Providence, R.I
American Mathematical Society
c1988
xi, 250p.: ill
Contemporary mathematics; V.96
Sponsored by the sociedade Brasileira de Logica. Sociedade Brasileira de mathematica and the association for Symbolic Logic
Includes bibliographies
ISBN: 0821850768
Walter A. Carnielli and Luiz Paulo de Alcantara
1
Congresses ، Logic, Symbolic and mathematical
QA
9
.
A1L37
1985
AU
AU Carnielli, Walter Alexandre
AU Alcantara, Luiz Paulo de, 1944-
CO Association for Symbolic Logic
CO American Mathematical Society
TI
SE Contemporary mathematics )American Mathematical Society( V.69
Latin-American Symposium on Mathematical Logic
