>> Google Books

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
著者名:
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]  CiNii Books  Webcat Plus  Google Books
 
   
子書誌情報
Loading
所蔵情報
Loading availability information
タイトルが類似している資料

類似資料:

1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12
 
1 図書 Models, algebras, and proofs : selected papers of the X Latin American Symposium on Mathematical Logic held in Bogotá

Latin-American Symposium on Mathematical Logic, Caicedo, Xavier, 1944-, Montenegro, Carlos H., 1958-

Marcel Dekker
7 図書 Logic Colloquium '87 : proceedings of the colloquium held in Granada, Spain, July 20-25, 1987

Logic Colloquium, Ebbinghaus, Heinz-Dieter, 1939-, Fernandez-Prida, J., Garrido, M., Lascar, D. (Daniel), 1942-, &hellip;

North-Holland
2 図書 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
8 図書 Computation and proof theory : proceedings of the Logic Colloquium held in Aachen, July 18-23, 1983, part II

Logic Colloquium, Müller, G. H. (Gert Heinz), 1923-, Richter, Michael M., 1938-

Springer-Verlag
3 図書 Methods in mathematical logic : proceedings of the 6th Latin American Symposium on Mathematical Logic held in Caracas, Venezuela, August 1-6, 1983

Latin-American Symposium on Mathematical Logic, Di Prisco, C. A., 1949-, Asociación Venezolana para el Avance de la &hellip;

Springer-Verlag
9 図書 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 &hellip;

American Mathematical Society
4 図書 Logic Colloquium : symposium on logic held at Boston, 1972-73

Boston Logic Colloquium, Parikh, Rohit, 1936-

Springer-Verlag
10 図書 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
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 図書 The theory of models : proceedings of the 1963 International Symposium at Berkeley

International Symposium on the Theory of Models, Addison, J. W. (John West), 1930-, University of California, Berkeley, &hellip;

North-Holland
6 図書 Logic Colloquium '86 : proceedings of the colloquium held in Hull, U.K., July 13-19, 1986

Logic Colloquium, Drake, F. R. (Frank Robert), Truss, J. K

North-Holland
12 図書 Logic Symposia, Hakone, 1979, 1980 : proceedings of conferences held in Hakone, Japan, March 21-24, 1979 and February 4-7, 1980

Logic Symposia, Müller, G. H. (Gert Heinz), 1923-, 竹内, 外史(1926-), 柘植, 利之(1926-)

Springer-Verlag