Methods and applications of mathematical logic : proceedings of the VII Latin American Symposium on Mathematical Logic held July 29-August 2, 1985

>> Google Books

QRコード(所蔵情報)

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

著者名:

Latin-American Symposium on Mathematical Logic <DA01166803>

Carnielli, Walter A. (Walter Alexandre) <DA02358956>

Alcantara, Luiz Paulo de, 1944- <DA01032793>

Sociedade Brasileira de Lógica <DA0235910X>

Sociedade Brasileira de Matemática <DA01929064>

Association for Symbolic Logic <DA01977227>

続きを見る

シリーズ名:

Contemporary mathematics ; v. 69 <BA00009927>

書誌ID:

BA03684223

ISBN:

9780821850763 [0821850768]

子書誌情報

所蔵情報

タイトルが類似している資料

詳細

主題:	Logic, Symbolic and mathematical--Congresses
分類・件名:	LCC : QA9.A1 DDC : 511.3 NDC8 : 410.96 LCSH : Logic, Symbolic and mathematical -- Congresses
LCCN:	87033651
注記:	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
TTLL:	mul

類似資料:

1

2

3

4

5

6

7

8

9

10

11

12

1 図書 Advances in contemporary logic and computer science : proceedings of the Eleventh Brazilian Conference on Mathematical Logic, May 6-10, 1996, Salvador, Bahia, … Brazilian Conference on Mathematical Logic, Carnielli, Walter A. (Walter Alexandre), D'Ottaviano, Itala M. L., 1944- American Mathematical Society	7 図書 Logic and combinatorics : proceedings of the AMS-IMS-SIAM Joint Summer Research Conference held August 4-10, 1985, with support from the National Science … AMS-IMS-SIAM Joint Summer Research Conference in the Mathematical Sciences on Applications of Mathematical Logic to … American Mathematical Society
2 図書 Models and computability : invited papers from Logic Colloquium '97 - European Meeting of the Association for Symbolic Logic, Leeds, July 1997 Logic Colloquium, Cooper, S. B. (S. Barry), Truss, J. K, Association for Symbolic Logic Cambridge University Press	8 図書 Functional analysis : proceedings of the Brazilian Mathematical Society symposium, Campinas, Brazil Symposium of Functional Analysis, Figueiredo, Djairo Guedes de, 1934-, Sociedade Brasileira de Matemática M. Dekker
3 図書 Functional analysis and applications : proceedings of the Symposium of Analysis, Universidade Federal de Pernambuco, Recife, Pernambuco, Brasil, July 9-29, 1972 Symposium of Analysis, Nachbin, Leopoldo, Sociedade Brasileira de Matemática Springer-Verlag	9 図書 Logic, foundations of mathematics, and computability theory International Congress of Logic, Methodology and Philosophy of Science, Butts, Robert E., Hintikka, Jaakko, 1929- D. Reidel
4 図書 Fuzzy approach to reasoning and decision-making : selected papers of the international symposium held at Bechyně, Czechoslovakia, 25-29 June 1990 Novák, Vilém, Vysoké učení technické v Brně. Fakulta strojní, International Fuzzy Systems Association, North … Kluwer Academic Publishers	10 図書 Non-classical logics, model theory, and computability : proceedings of the Third Latin-American Symposium on Mathematical Logic, Campinas, Brazil, July 11-17, … Latin-American Symposium on Mathematical Logic, Arruda, Ayda I., Costa, Newton C. A. da, Chuaqui, R. North-Holland Pub. Co., sale distributors for the U.S.A. and Canada, Elsevier/North-Holland
5 図書 Mathematical logic and applications : proceedings of the Logic Meeting held in Kyoto, 1987 篠田, 壽一(1948-), Slaman, T. A. (Theodore Allen), 1954-, 柘植, 利之(1926-), Meeting on Mathematical Logic and its Applications Springer-Verlag	11 図書 Electromagnetic theory : [proceedings of the Second Symposium in Applied Mathematics of the American Mathematical Society, held at the Massachusetts Institute … American Mathematical Society, Symposium in Applied Mathematics American mathematical society
6 図書 Logic at Botik '89 : Symposium on Logical Foundations of Computer Science, Pereslavl-Zalessky, USSR, July 3-8, 1989 : proceedings International Symposium on Logical Foundations of Computer Science, Meyer, Albert R., Taitslin, M. A. (Michael A.) Springer-Verlag	12 図書 Logic from computer science : proceedings of a workshop held November 13-17, 1989 Moschovakis, Yiannis N., 1938-, Workshop on Logic from Computer Science Springer-Verlag